solo5-kernel-muen

AuthorsDan Williams <djwillia@us.ibm.com>, Martin Lucina <martin@lucina.net> and Ricardo Koller <kollerr@us.ibm.com>
LicenseISC
Homepagehttps://github.com/solo5/solo5
Issue Trackerhttps://github.com/solo5/solo5/issues
Maintainermartin@lucina.net
Dependencies
conf-pkg-config
Availableocaml-version >= "4.02.3" & arch = "x86_64" | arch = "amd64" & os = "linux" | os = "freebsd" | os = "openbsd"
PublishedJun 15, 2018
Source [http] https://github.com/Solo5/solo5/archive/v0.3.0.tar.gz
1085edafe0c69d2af2dfd75b0e3349de
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/solo5-kernel-muen/solo5-kernel-muen.0.3.0/opam

Solo5 sandboxed execution environment (muen target)

Solo5 is a sandboxed execution environment primarily intended for, but not limited to, running applications built using various unikernels (a.k.a. library operating systems).

This package provides the Solo5 components needed to build MirageOS unikernels on the "muen" target. The resulting unikernels can then be deployed directly on a host running the Muen Separation Kernel.

Building this target is supported on 64-bit Linux, FreeBSD and OpenBSD systems.