Education Directory

Site Listings

tik.ee.ethz.ch: Topsy - A Teachable Operating System
Teachable Operating System: tiny multithreaded messaging microkernel, in ANSI C; protected threads, memory managed, and thread/process control.
www.tik.ee.ethz.ch/~topsy/

cs.washington.edu: Nachos
Teaching OS coded in C++ subset, developed at UC Berkeley for OS and Systems Programming classes.
www.cs.washington.edu/homes/tom/nachos/

Add Site or Add URL to Submit Site to the Education Directory