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.