Opam Package mirage-solo5.0.6.4

Package info

opam-namemirage-solo5
opam-version0.6.4
synopsisSolo5 core platform libraries for MirageOS
description This package provides the MirageOS `OS` library for [Solo5](https://github.com/Solo5/solo5) targets, which handles the main loop and timers. It also provides the low level C startup code and C stubs required by the OCaml code. Currently this package also includes the C stubs used by the Solo5 `console`, `block` and `net` implementations. The OCaml runtime and C runtime required to support it are provided separately by the [ocaml-freestanding](https://github.com/mirage/ocaml-freestanding) package.
authors
  • Anil Madhavapeddy <anil@recoil.org>
  • Dan Williams <djwillia@us.ibm.com>
  • Martin Lucina <martin@lucina.net>
homepagehttps://github.com/mirage/mirage-solo5
licenseISC
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
deps (10)
revdeps (5)
metas (1)
libraries (1)

Package modules

Package sources

mirage-solo5

Package files

lib/pkgconfig/mirage-solo5.pc
lib/mirage-solo5/time.ml
lib/mirage-solo5/solo5.ml
lib/mirage-solo5/opam
lib/mirage-solo5/oS__Time.cmx
lib/mirage-solo5/oS__Solo5.cmx
lib/mirage-solo5/oS__Memory.cmx
lib/mirage-solo5/oS__Memory.cmt
lib/mirage-solo5/oS__Memory.cmi
lib/mirage-solo5/oS__Main.cmx
lib/mirage-solo5/oS__MM.cmx
lib/mirage-solo5/oS__Lifecycle.cmx
lib/mirage-solo5/oS__.ml
lib/mirage-solo5/oS__.cmx
lib/mirage-solo5/oS__.cmt
lib/mirage-solo5/oS__.cmi
lib/mirage-solo5/oS.mli
lib/mirage-solo5/oS.ml
lib/mirage-solo5/oS.cmxs
lib/mirage-solo5/oS.cmxa
lib/mirage-solo5/oS.cmx
lib/mirage-solo5/oS.cmti
lib/mirage-solo5/oS.cmt
lib/mirage-solo5/oS.cmi
lib/mirage-solo5/oS.cma
lib/mirage-solo5/oS.a
lib/mirage-solo5/memory.ml
lib/mirage-solo5/main.ml
lib/mirage-solo5/mM.ml
lib/mirage-solo5/lifecycle.ml
lib/mirage-solo5/libmirage-solo5_bindings.a
lib/mirage-solo5/dune-package
lib/mirage-solo5/META
lib/mirage-solo5/.private/oS__Time.cmt
lib/mirage-solo5/.private/oS__Time.cmi
lib/mirage-solo5/.private/oS__Solo5.cmt
lib/mirage-solo5/.private/oS__Solo5.cmi
lib/mirage-solo5/.private/oS__Main.cmt
lib/mirage-solo5/.private/oS__Main.cmi
lib/mirage-solo5/.private/oS__MM.cmt
lib/mirage-solo5/.private/oS__MM.cmi
lib/mirage-solo5/.private/oS__Lifecycle.cmt
lib/mirage-solo5/.private/oS__Lifecycle.cmi
lib/mirage-solo5/.private
lib/mirage-solo5
doc/mirage-solo5/README.md
doc/mirage-solo5/LICENSE.md
doc/mirage-solo5/CHANGES.md
doc/mirage-solo5