Be Operating System Save
Computers, Networking & More. Be Operating System on Sale.
www.NexTag.co.uk/computers (sponsored link)
 

BugOS Save
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/   

Cosy Save
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.
http://wwwcs.uni-paderborn.de/fachber...   

K42 Save
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.
http://domino.research.ibm.com/comm/r...   

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

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

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

Microkernel-based OS Efforts Save
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/microker...   

PETROS Save
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; free time-locked demo.
http://www.petros-project.com/   

SUMO Save
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...   

ShagOS Save
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.
http://www.csh.rit.edu/~shaggy/shagos...   

The MicroEmpix Fan Site Save
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/~kalab...   

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

Topsy Save
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]
http://www.tik.ee.ethz.ch/~topsy/   

Forum - Usenet comp.os.misc
Forum - Usenet comp.os.research

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor