Is there any Operating System written by OCaml?

[hexiangdong2017]

C has Linux. Rust has Redox. Is there any OS written by OCaml?

[samoht]

You should check https://mirage.io

[hexiangdong2017]

However, it’s not a OS with GUI.

[Leonidas]

Neither is DOS yet we’re not discussing the OS nature of the most popular operating system of its time.

[hannes]

doesn’t count? (source: https://github.com/cfcs/PongOS)

there’s as well a picture viewer https://github.com/cfcs/eye-of-mirage

and a framebuffer library https://github.com/cfcs/mirage-framebuffer/ (with QubesOS and SDL backends)