minios-xen

AuthorThomas Leonard <talex5@gmail.com>
LicenseBSD + some optional GPL components
Homepagehttps://github.com/talex5/mini-os
Issue Trackerhttps://github.com/mirage/mini-os/issues
Maintainermirageos-devel@lists.openmirage.org
Dependencies
conf-perl
Availableos != "darwin"
PublishedDec 24, 2015
Source [http] https://github.com/talex5/mini-os/archive/v0.9.tar.gz
8f30d651d16f9e7b6b0f2296cd71cec0
StatisticsInstalled 37 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/minios-xen/minios-xen.0.9/opam

A minimal OS for running under the Xen hypervisor

Mini-OS provides architecture-specific boot code, a stack, malloc, an interrupt handler, a console driver, and some basic C functions. It can be used as a library to build unikernels such as Mirage.