Topsy

Topsy is an educational OS developed at ETZH. It is a small multi-threaded message-based microkernel written in ANSI C and running on a R3000 simulator written in Java.