mirage-solo5

Solo5 core platform libraries for MirageOS
Description

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 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 package.

Install
Published
27 Oct 2020
Sources
mirage-solo5-v0.6.4.tbz
sha256=a90c9e417bdd9e13821c47f224df70ac7d8cdfd6a7b0a13b73314fee1cf8e352
sha512=d3e5bdbf052aa9345fd3d3b9d469a7943401cfcbdf83fcb8c16736d5c381f740aa4caeea59fe3805d7e9b2f2f55e0a45eb3ddd345b26dacd76104985bbb443b5
Dependencies
solo5-bindings-genode
>= "0.6.0" & < "0.7.0"
solo5-bindings-muen
>= "0.6.0" & < "0.7.0"
solo5-bindings-virtio
>= "0.6.0" & < "0.7.0"
solo5-bindings-spt
>= "0.6.0" & < "0.7.0"
solo5-bindings-hvt
>= "0.6.0" & < "0.7.0"
mirage-runtime
>= "3.7.0"
lwt
>= "2.4.3"
cstruct
>= "1.0.1"
ocaml
>= "4.06.0"
bheap
>= "2.0.0"
dune
>= "2.6.0"
Reverse Dependencies
docteur
< "0.0.2"
docteur-solo5
< "0.0.3"
mirage-block-solo5
>= "0.6.0" & < "0.7.0"
mirage-console-solo5
>= "0.6.0" & < "0.7.0"
mirage-net-solo5
>= "0.6.0" & < "0.7.0"
nocrypto
>= "0.5.4"