Tarides: OCaml in Space - Welcome SpaceOS!
SpaceOS is an operating system that is secure by design, providing complete isolation between user software paired with effortless software updates.
[...]
SpaceOS is built on stable and safe programming logic (read on for details about the memory safety of OCaml) and MirageOS unikernel technology.