Unikernel
Unikernel - Wikipedia
cetic/unikernels: Unikernel and immutable infrastructures
OSv
OSv - the operating system designed for the cloud
MirageOS
OCaml.icon
HalVM
Haskell.icon
LING (a.k.a.
Erlang
Erlang.icon
on Xen) (dead)
Data Plane Development Kit - Wikipedia