Check out this interview with Anil Madhavapeddy about MirageOS among other things: https://signalsandthreads.com/what-is-an-operating-system/ https://signalsan

Check out this interview with Anil Madhavapeddy about MirageOS among other things: https://signalsandthreads.com/what-is-an-operating-system/ https://signalsandthreads.com/what-is-an-operating-system/ As sibling mentioned, MirageOS is written in OCaml. It aims to provide a robust system by being type and memory safe and by limiting the OS to the minimum that can still host the program that you want to run with it.