package mirage-solo5

  1. Overview
  2. Docs
Solo5 core platform libraries for MirageOS

Install

Dune Dependency

Authors

Maintainers

Sources

mirage-solo5-0.9.2.tbz
sha256=7ed6979d9148455db921c1e2d1216c73bfcff1dce389561af1b5d7e712048a97
sha512=b0773efa69e23c33990d152ba8a110e04aa28fc331615d621384f75aa7a2e662f6faa94f4e88f5ebffd1601ed5953d566c7a640b4a630f0b4f7ebd7c7f641c67

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: 04 Mar 2023

README

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

Development

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

Dependencies (9)

  1. duration
  2. mirage-runtime >= "4.0"
  3. metrics-lwt >= "0.2.0"
  4. metrics
  5. lwt >= "2.4.3"
  6. cstruct >= "1.0.1"
  7. ocaml >= "4.08.0"
  8. bheap >= "2.0.0"
  9. dune >= "2.7.0"

Dev Dependencies

None

Used by (7)

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

Conflicts (2)

  1. tcpip < "6.1.0"
  2. io-page < "2.4.0"