solo5-kernel-ukvm

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" | arch = "aarch64" & os = "linux" | os = "freebsd" | os = "openbsd"
PublishedAug 10, 2018
Source [http] https://github.com/Solo5/solo5/archive/v0.3.1.tar.gz
2a9541d71677750403569a881e662d42
StatisticsInstalled 8 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/solo5-kernel-ukvm/solo5-kernel-ukvm.0.3.1/opam

Solo5 sandboxed execution environment (ukvm 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 and run MirageOS unikernels on the "ukvm" target, including the "ukvm" monitor source code, and "ukvm-configure" script used to specialize the monitor at MirageOS unikernel build time.

This target is supported on 64-bit Linux, FreeBSD and OpenBSD systems with hardware virtualization.