From #190:

Next steps for integrating Muen support in Mirage:

1. PR for the changes to mirage/ocaml-freestanding (@Kensan)
2. An initial version of solo5-kernel-muen published to OPAM (@mato)
3. A new version of ocaml-freestanding with the changes in (1) published to OPAM, adding | solo5-kernel-muen as a dependency (@mato)
4. PR for the changes to mirage/mirage (@Kensan)
5. (at some point after that) "Formal" releases of Solo5, Mirage with documentation for the Muen port.