package solo5-bindings-genode
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Solo5 sandboxed execution environment (genode target)
Install
Dune Dependency
Authors
Maintainers
Sources
solo5-v0.6.2.tar.gz
sha512=7f22451437ce7023a3460e0acb5212c23e954815d95b00efe77f481570842bb8f0f249dfde5abb551bc56b089762905b97860faec3f5fff949339824893663d1
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 "genode" target. The resulting unikernels can then be deployed directly on a host running the Genode Operating System Framework.
Building the "genode" target is supported on 64-bit Linux, FreeBSD and OpenBSD systems.
Published: 23 Sep 2019
Dependencies (1)
-
conf-pkg-config
< "3"
Dev Dependencies
None
Used by (2)
-
mirage-solo5
>= "0.6.0" & < "0.7.0"
-
ocaml-freestanding
>= "0.4.2" & < "0.7.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page