This is a project of Benji Stein, Ting Liao, and Jaap Weel, for CS 134c at Caltech. We have been advised on this project by Nathan Gray and Jason Hickey. The project has now come to an end, so there will be no more darcs access or snapshots. You can browse the source here.
This was meant to be a simple x86 kernel. You can see for yourself how far we got. (Hint: not very far, really... but we did support dvorak keyboards!)
You can find Jaap's web site on http://www.ugcs.caltech.edu/~weel , and contact him at weel at ugcs dot caltech dot edu .