 
|
The Open Group: Advanced Research - http://www.osf.org/RI/
Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS).
|
|
|
Microkernel - http://en.wikipedia.org/wiki/Microkernel
Growing article, with links to many related topics. Wikipedia.
|
|
|
K42 - http://domino.research.ibm.com/comm/research_projects.nsf/pages/k42.index.html
High performance, general-purpose research OS kernel for cache-coherent multiprocessors, for next generation servers ranging from small-scale (to grow ubiquitous), to very large-scale non-symmetric (growing important in commercial and technical environments. IBM Research. Open source.
|
|
|
K42 - http://en.wikipedia.org/wiki/K42
Growing article, with links to many related topics. Wikipedia.
|
|
|
Topsy - http://www.tik.ee.ethz.ch/~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, downloads, contacts, links. [Open Source, GPL]
|
|
|
SUMO - http://www.comp.lancs.ac.uk/computing/research/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.
|
|
|
ShagOS - http://www.csh.rit.edu/~shaggy/shagos.html
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 most design decisions.
|
|
|
Sartoris Microkernel Tutorial - http://sartoris-microkernel.blogspot.com/2006/06/0.html
Explains about making a policy-free microkernel; multipart series.
|
|
|
The MicroEmpix Fan Site - http://www.softlab.ece.ntua.gr/~kalabkas/mempix/indexold.html
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.
|