conference logo

Playlist "Das ist Netzpolitik! #11np"

MirageOS: Robust Operating System Reengineering from the Grounds Up

Hannes Mehnert

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.