dons

Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM

dbaupp
halvm.org seems to be down (http://isitup.org/halvm.org). However, there is a summary here[1] and the source is on GitHub[2].

[1]: http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM