Building operating systems that do one thing with OCaml and Solo5.