Anil Madhavapeddy

What is an Operating System? with Anil Madhavapeddy

Anil Madhavapeddy, Ron Minsky, Mark Mandelbaum, Mark Blyther

Mirage OS is a pure OCaml unikernel framework that compiles applications into minimal, single-purpose binaries by linking only essential drivers and protocol stacks directly to the kernel. Since its origins as a Cambridge research project to verify high-level language performance, the system has achieved significant industrial adoption, powering Docker for Mac and Windows, Tezos blockchain nodes, and energy-efficient solar sensor networks. By utilizing a library operating system model and advanced features like the LDRF memory model, Mirage delivers enhanced security through a reduced attack surface while enabling scalable multi-core execution in upcoming language releases.