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.

Tags

org:mirage

Published: 19 Nov 2021

Dependencies (14)

  1. solo5-bindings-genode >= "0.6.0" & < "0.7.0"
  2. solo5-bindings-muen >= "0.6.0" & < "0.7.0"
  3. solo5-bindings-virtio >= "0.6.0" & < "0.7.0"
  4. solo5-bindings-spt >= "0.6.0" & < "0.7.0"
  5. solo5-bindings-hvt >= "0.6.0" & < "0.7.0"
  6. duration
  7. mirage-runtime >= "3.7.0"
  8. metrics
  9. ocaml-freestanding >= "0.4.5"
  10. lwt >= "2.4.3"
  11. cstruct >= "1.0.1"
  12. ocaml >= "4.08.0"
  13. bheap >= "2.0.0"
  14. dune >= "2.6.0"

Reverse Dependencies (8)

  1. docteur < "0.0.2"
  2. docteur-solo5 < "0.0.3"
  3. mirage-block-solo5 >= "0.6.0" & < "0.7.0"
  4. mirage-bootvar-solo5 >= "0.6.0"
  5. mirage-console-solo5 >= "0.6.0" & < "0.7.0"
  6. mirage-monitoring < "0.0.2"
  7. mirage-net-solo5 >= "0.6.0" & < "0.7.0"
  8. nocrypto >= "0.5.4"

Conflicts (5)

  1. tcpip < "6.1.0"
  2. solo5-kernel-muen
  3. solo5-kernel-virtio
  4. solo5-kernel-ukvm
  5. io-page < "2.4.0"
Solo5 core platform libraries for MirageOS

Install

Documentation github.com Readme Changelog ISC License Edit opam file

Authors

  1. A
    Anil Madhavapeddy <anil@recoil.org>
  2. D
    Dan Williams <djwillia@us.ibm.com>
  3. M
    Martin Lucina <martin@lucina.net>

Maintainers

  1. M
    martin@lucina.net

Sources

mirage-solo5-v0.6.5.tbz
sha256=0aa506012fd60027990406cbd622facb4ef8a5320ee8190a189f467b9706001d
sha512=8a33d063acf1cd94dba22a6fcf759a718550fa02b95f6c29fc2e1a04e8587ac96a32cca1f5429142f106ad66958c98fab774edc241da044fbb5c116fdce36a8b