[bctnry]

Probably not relevant, OS written in Haskell does exists, though: https://en.wikipedia.org/wiki/House_(operating_system)

And don't forget HalVM.