Microkernel - Musharof Chy
The Open Group: Advanced Research
Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERS...
ShagOS
Portable object-oriented microkernel OS, dynamically loaded device drivers, fully redesigned and re...
Topsy
Teachable Operating System: tiny multithreaded messaging microkernel, in ANSI C; protected threads,...
Microkernel
Growing article, with links to many related topics. Wikipedia.
K42
Growing article, with links to many related topics. Wikipedia.
The MicroEmpix Fan Site
One user microkernel (nearer an exokernel), very small, version of Empix Unix-like OS developed at ...
Sartoris Microkernel Tutorial
Explains about making a policy-free microkernel; multipart series.
HelenOS project
A multiplatform, multiserver operating system for multiprocessor and uniprocessor computers. It is ...
K42
High performance, general-purpose research OS kernel for cache-coherent multiprocessors, for next g...