Mirage seems like the continuation of exokernels, except designed to run under a bare metal hypervisor instead of a raw microarchitecture. I suppose being OCaml

Mirage seems like the continuation of exokernels, except designed to run under a bare metal hypervisor instead of a raw microarchitecture. I suppose being OCaml is a nice perk, though ultimately their scope is very limited (deploying applications).