AcadOS
Academic Operating System, goals: to expose students to more modern ideas than older OSs, to basic OS mechanisms, to OS and language design and prototyping; old version, ideas for new microkernel version.