"Unix system programming in OCaml"

https://ocaml.github.io/ocamlunix/ocamlunix.html

MirageOS

https://mirage.io/

House OS,

https://programatica.cs.pdx.edu/House/

Just saying.