Skip to content
Unikernel base layer for Xen based on musl-libc and the HaLVM runtime
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
nix
src
test
tools
.gitignore
.gitmodules
README.md
shell.nix

README.md

synthol

Unikernel base layer for Xen based on musl-libc, xtf, mini-os, and the HaLVM runtime.

Intended as the foundations for another Xen port of GHC.

TODO lots of documentation

You can’t perform that action at this time.