Anil Madhavapeddy, Professor of Planetary Computing  

MirageOS v2.0: a recap of new features (via MirageOS) / Jul 2014

This is a big release for us; after the first version came out earlier in the year, we added in support for ARM devices, a new storage subsystem called Irmin and even a pure OCaml TLS stack.