Back in the mid-2000s, people worked on writing operating systems in Haskell! Even with GUIs.
Thereβs also a Squeak/Pharo Smalltalk on bare x86 project, last updated in 2011.
I guess all we have now is Redox. I hope it will become a truly successful operating system not written in C.