package solo5-kernel-ukvm

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

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. D
    Dan Williams <djwillia@us.ibm.com>
  2. M
    Martin Lucina <martin@lucina.net>
  3. R
    Ricardo Koller <kollerr@us.ibm.com>

Maintainers

  1. M
    martin@lucina.net

Sources

v0.3.0.tar.gz
md5=1085edafe0c69d2af2dfd75b0e3349de

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 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.

Published: 15 Jun 2018

Dependencies (2)

  1. conf-pkg-config < "3"
  2. ocaml >= "4.02.3"

Dev Dependencies

None

Used by (2)

  1. mirage-solo5 = "0.3.0"
  2. ocaml-freestanding >= "0.3.0" & < "0.4.0"