Pure Haskell userland for UNIX systems. Implementing as much of an OS as possible.