The document discusses Mirage, an operating system constructed using OCaml and designed to run on the cloud. It aims for end-to-end static type safety using OCaml and domain-specific languages. It describes Mirage's approach of using a simple single-threaded core with the hypervisor dividing cores. It also summarizes Mirage's use of LWT for concurrency without magic, typed memory allocators, I/O i
![Mirage: ML kernels in the cloud (ML Workshop 2010)](https://cdn-ak-scissors.b.st-hatena.com/image/square/cdb61970556c93438744680f225326842fcbd087/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Fmlworkshop-2010-1-100926144110-phpapp01-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)