The project seems to be dead these days, but if you're interested in writing OSes, take a look at the Flux OSKit:

http://www.cs.utah.edu/flux/oskit/

OSKit aims to be a set of libraries that dramatically lower the barrier to entry on OS development.