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

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

K42 Project Wiki
- Large, growing resource of text information.
- http://k42.ozlabs.org/Wiki/

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

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/

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/

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

Cosy
- Goal: scalability of highly parallel multicomputer systems. Based on small microkernel that does process management, interprocess communication; all other services are processes out of kernel. Processes and address spaces orthogonal, so Cosy process is li
- http://wwwcs.uni-paderborn.de/fachbereich/AG/heiss/cosy/

Microkernel-based OS Efforts
- By Christopher Browne. Brief, clear descriptions and critiquing of microkernel design concepts, with some links. Puts much current activity in larger context.
- http://www.cbbrowne.com/info/microkernel.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/

BugOS
- New microkernel operating system for x86 computers, many features: network and Internet modules, file system (FAT); kernel handles memory, tasks, micro kernels, and some base devices: keyboard, video, hdd, and ramdrive.
- http://bugos.nop.hu/

PETROS
- By Trumpet Software International, 32-bit microkernel OS for x86 PCs coded in Object Pascal variant. Built from first principles to focus on small size, modularity, and be fully compatible with Win32 and industry standards; reads FAT-12/16/32. Low cost; f
- http://www.petros-project.com/