I will introduce MirageOS, a library operating system written from scratch in a modular way. The motivation is manifold: cutting the complexity of contemporary operating system configuration and administration, easy compartmentalisation of different services, security and robustness by choosing the high-level modular functional programming language Ocaml.
