package mirage-solo5

mirage-solo5 -- Solo5 core platform libraries for MirageOS

Do not install this package manually. If you came here from a search engine looking for information on MirageOS/Solo5, start here.

This package provides the MirageOS OS library for Solo5 targets, which handles the main loop and timers. It also provides the low level C startup code and C stubs required by MirageOS on Solo5 targets.

The OCaml runtime and C runtime required to support it are provided separately by the ocaml-freestanding package.

Development

$ git clone https://github.com/mirage/mirage-solo5
$ cd mirage-solo5
$ opam monorepo lock
$ opam monorepo pull
$ opam install ocaml-freestanding dune
$ dune build