JOS : a part of MIT's 6.828 course. Also used as a teaching OS here at IITM.