The guy who headed the project was interviewed recently in a podcast: http://www.se-radio.net/2014/05/episode-204-anil-madhavapedd... , he provided some very interesting insights into the MirageOS, Unikernels and Ocaml