package solo5-kernel-muen
Solo5 sandboxed execution environment (muen target)
Install
Dune Dependency
Authors
Maintainers
Sources
v0.3.1.tar.gz
sha256=b5ef3dee6683f00cc7556e92598c68b50655d3b11a8d979683670d071ce5db62
md5=2a9541d71677750403569a881e662d42
Description
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.
Published: 10 Aug 2018
Dependencies (2)
-
conf-pkg-config
< "3"
-
ocaml
>= "4.02.3"
Dev Dependencies
None
Used by (2)
-
mirage-solo5
= "0.3.0"
-
ocaml-freestanding
>= "0.3.0" & < "0.4.0"
Conflicts (2)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page