hOp is a micro-kernel based on the RTS of GHC, the Glasgow Haskell Compiler.  It is meant to enable people to experiment with writing device drivers in Haskell.  Currently, hOp is still very hackish, and IA32-specific.  Contributions are welcome!