That was the trend five years ago. We're on unikernels now.
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.