GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → mirage → mirage-solo5

mirage / mirage-solo5

Licence: ISC license
Solo5 core platform libraries for MirageOS

Programming Languages

ocaml
1615 projects
c
50402 projects - #5 most used programming language
Makefile
30231 projects

Labels

mirageosmirage-platformsolo5

Projects that are alternatives of or similar to mirage-solo5

mirage-xen
Xen core platform libraries for MirageOS
Stars: ✭ 17 (-5.56%)
Mutual labels:  mirageos, mirage-platform
ocaml-dns
OCaml implementation of the DNS protocol
Stars: ✭ 93 (+416.67%)
Mutual labels:  mirageos
rekernel
A minimal setup for writing Unikernels in ReasonML
Stars: ✭ 28 (+55.56%)
Mutual labels:  mirageos
awesome-unikernels
A list about Unikernels
Stars: ✭ 86 (+377.78%)
Mutual labels:  mirageos
prometheus
OCaml library for reporting metrics to a Prometheus server
Stars: ✭ 44 (+144.44%)
Mutual labels:  mirageos
mirage-xmpp
Implementation of XMPP for MirageOS
Stars: ✭ 12 (-33.33%)
Mutual labels:  mirageos
contruno
A TLS termination proxy as a MirageOS
Stars: ✭ 13 (-27.78%)
Mutual labels:  mirageos
Mirage
MirageOS is a library operating system that constructs unikernels
Stars: ✭ 1,707 (+9383.33%)
Mutual labels:  mirageos
Irmin
Built-in Snapshotting - backup and restore Storage Agnostic - you can use Irmin on top of your own storage layer Custom Datatypes - (de)serialization for custom data types, derivable via ppx_irmin Highly Portable - runs anywhere from Linux to web browsers and Xen unikernels Git Compatibility - irmin-git uses an on-disk format that can be inspected and modified using Git Dynamic Behavior - allows the users to define custom merge functions, use in-memory transactions (to keep track of reads as well as writes) and to define event-driven workflows using a notification mechanism
Stars: ✭ 1,524 (+8366.67%)
Mutual labels:  mirageos
ocaml-pcap
OCaml code for generating and analysing pcap (packet capture) files
Stars: ✭ 20 (+11.11%)
Mutual labels:  mirageos
mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
Stars: ✭ 16 (-11.11%)
Mutual labels:  mirageos
docteur
An opiniated file-system for MirageOS
Stars: ✭ 16 (-11.11%)
Mutual labels:  mirageos
ocaml-x509
X509 (RFC5280) handling in OCaml
Stars: ✭ 40 (+122.22%)
Mutual labels:  mirageos
arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
Stars: ✭ 20 (+11.11%)
Mutual labels:  mirageos
eye-of-mirage
WiP image viewer using MirageOS
Stars: ✭ 16 (-11.11%)
Mutual labels:  mirageos
keyfender
Secure HSM implementation based on MirageOS
Stars: ✭ 33 (+83.33%)
Mutual labels:  mirageos

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-freestanding dune
$ dune build
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].