  |
Microkernel - http://en.wikipedia.org/wiki/Microkernel
Growing article, with links to many related topics. Wikipedia. |
| |
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). |
| |
K42 - http://en.wikipedia.org/wiki/K42
Growing article, with links to many related topics. Wikipedia. |
| |
BugOS - http://bugos.nop.hu/
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. |
| |
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] |
| |
K42 Project Wiki - http://k42.ozlabs.org/Wiki/
Large, growing resource of text information. |
| |
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. |
| |
Microkernel-based OS Efforts - http://www.cbbrowne.com/info/microkernel.html
By Christopher Browne. Brief, clear descriptions and critiquing of microkernel design concepts, with some links. Puts much current activity in larger context. |
 |
Cosy - http://wwwcs.uni-paderborn.de/fachbereich/AG/heiss/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 like thread in other OSs. Hardware dependencies concentrated in areas of kernel for portability. |