http://programatica.cs.pdx.edu/House/
http://programatica.cs.pdx.edu/papers.html
My project, however, is more high-level in that I don't plan to write a kernel (device drivers, etc.) as they have done for House.
http://programatica.cs.pdx.edu/House/
http://programatica.cs.pdx.edu/papers.html