package solo5-bindings-genode

  1. Overview
  2. No Docs
Solo5 sandboxed execution environment (genode target)

Install

Dune Dependency

Authors

Maintainers

Sources

solo5-v0.6.3.tar.gz
sha512=c3a9d9891ab538ebf9eaf4c98bb228ee91a58bae9ee1ef0071f3dca8dfdf921ea34375d603323bda0652de47dfbe59585c21f100dc2ed4e41ebd7e3437eb13fd

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: 10 Oct 2019

Dependencies (2)

  1. conf-libseccomp build & os = "linux"
  2. conf-pkg-config < "3"

Dev Dependencies

None

Used by (2)

  1. mirage-solo5 >= "0.6.0" & < "0.7.0"
  2. ocaml-freestanding >= "0.4.2" & < "0.7.0"