http://web.cecs.pdx.edu/~kennyg/house/ Here are my modified ghc patches and the House kernel. You need many other files from the original software. Modify the Makefile so that no patches are applied. Then use the files here to replace vanilla ghc-6.8.2. Basically, make boot copy files rm stamp* make