MirageOS - Developing Operating Systems in OCaml - Hannes Mehnert - FUN OCaml 2024

Hannes Mehnert's FUN OCaml 2024 talk recording!
Overview by Hannes:
OCaml is a great systems programming language. We use it since more than a decade to develop MirageOS unikernels: run OCaml as a virtual machine, no Linux kernel involved. Since OCaml is statically typed (and type safe), and memory safe, we use a single address space, and avoided a lot of complexity of general purpose operating systems. Security-wise this is excellent: less attack surface, fewer attack vectors. Also less resource-heavy than contemporary OS. The result are tiny unikernels (e.g. a firewall with ~3MB as the full virtual machine image) that only contain the code really needed. I'll present what MirageOS is today and where it is used, its future, and our learnings so far.
mirage.io
Connect with us
Website: fun-ocaml.com/
Twitter: x.com/FunOCaml
Bluesky: bsky.app/profi...