solo5-bindings-genode

Solo5 sandboxed execution environment (genode target)
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.

Install
Published
14 Nov 2019
Maintainers
Sources
solo5-v0.6.4.tar.gz
sha512=918f80947f46340c4acd48a7aeac025953971559c8e087194091c1a4d7075dd3b42e39d832faf6bae461683a9a5698903ee8e00d10d61d30419d3158402b14ac
Dependencies
Reverse Dependencies
mirage-solo5
>= "0.6.0" & < "0.7.0"
ocaml-freestanding
>= "0.4.2" & < "0.7.0"