MirageOS: Robust Operating System Reengineering from the Grounds Up

Hannes Mehnert

Playlists: '11np' videos starting here / audio / related events

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.

Related

Download

Embed

Share:

Tags