I have fond memories of using Xinu in Dr. Comer's OS course back at Purdue. It's a nice little OS! (and he's a great prof!)