[bad_user]

Also a library for building special purpose operating systems (unikernels) in OCaml, which is actually used: https://mirage.io/