Software
System software
Computing
Operating system kernels
Computing platforms
Unikernel
OSv
QEMU
Operating system
Kernel
OCaml
Exokernel