_(Topsy|http://www.tik.ee.ethz.ch/~topsy/index.html) is an educational *(OS) developed at ETZH. It is a small multi-threaded message-based _(microkernel) written in _(ANSI C|C language) and running on a R3000 simulator written in _(Java).
