A lot like: http://www.openmirage.org/
This is an operating system that runs directly on the Xen hypervisor, written in OCaml, which does away with the usual OS abstractions.
Also https://github.com/GaloisInc/HaLVM (Haskell). Though I think it doesn't handle parallelism.