C has Linux. Rust has Redox. Is there any OS written by OCaml?
You should check https://mirage.io
However, it’s not a OS with GUI.
Neither is DOS yet we’re not discussing the OS nature of the most popular operating system of its time.