package mirage-solo5

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

Install

Dune Dependency

Authors

Maintainers

Sources

mirage-solo5-0.7.0.tbz
sha256=ef2fbc0f51b8c8567f78c2e412a7c29a9457c4d0477abc1e239b3cbe2c9d2130
sha512=7997bacd9d6737d6747e258e04ff4785ca1232bbaad18bd95ed79f654d56b964f01e127598b17b0eb3f930e918a16a8b844f011401f5bf21b555cc3ce209b705

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: 31 Jan 2022

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

Dependencies (8)

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

Dev Dependencies

None

Used by (6)

  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.6.1"
  5. mirage-net-solo5 >= "0.7.0"
  6. nocrypto >= "0.5.4"

Conflicts (2)

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

Innovation. Community. Security.