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. http://www.cs.uiowa.edu/~jones/acados/