The general trend is away from this and towards containers which leave it up to a monolithic kernel to secure individual processes.
Most people run VMs for hardware utilization purposes.
Most people run VMs for hardware utilization purposes.
There are a number of ways to build unikernels and they're not all OCaml (which is just MirageOS) -- http://unikernel.org is trying to bring these together.
[1] http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewal...
It would be great to get a list of live unikernel deployments listed somewhere to address questions like this when they come up.
Hipsters.