Web Directory

» K42
   Growing article, with links to many related topics. Wikipedia.
   http://en.wikipedia.org/wiki/K42

» Microkernel
   Growing article, with links to many related topics. Wikipedia.
   http://en.wikipedia.org/wiki/Microkernel

» SUMO
   SUpport for Multimedia in Operating systems, Lancaster University: microkernel OS with facilities to support distributed realtime and multimedia applications and ODP-based multimedia distributed application platforms.
   http://www.comp.lancs.ac.uk/computing/research/sumo/

» Sartoris Microkernel Tutorial
   Explains about making a policy-free microkernel; multipart series.
   http://sartoris-microkernel.blogspot.com/2006/06/0.html

» ShagOS
   Portable object-oriented microkernel OS, dynamically loaded device drivers, fully redesigned and rewritten many times in C++, runs on VAX, x86. Ongoing experiment in using O-O paradigm as framework for full OS, with distributed computing as main aspect in
   http://www.csh.rit.edu/~shaggy/shagos.html

» The MicroEmpix Fan Site
   One user microkernel (nearer an exokernel), very small, version of Empix Unix-like OS developed at the Computing Systems Laboratory, National Technical University of Athens.
   http://www.softlab.ece.ntua.gr/~kalabkas/mempix/indexold.html

» The Open Group: Advanced Research
   Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS).
   http://www.osf.org/RI/

» Topsy
   Teachable Operating System: tiny multithreaded messaging microkernel, in ANSI C; protected threads, memory managed, and thread/process control. From undergraduate course on concurrency, device programming, OS concepts. Descriptions, documents, theses, dow
   http://www.tik.ee.ethz.ch/~topsy/