|
|
 |
Open Directory from the Jesus Army
The largest human-edited directory on the web
|
Open Directory: Computers: Software: Operating Systems: Microkernel
See also:
|
 | BugOS 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. |
|
| K42 en.wikipedia.org/wiki/K42
Growing article, with links to many related topics. Wikipedia. |
|
| K42 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. |
|
| The MicroEmpix Fan Site 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. |
|
| Microkernel en.wikipedia.org/wiki/Microkernel
Growing article, with links to many related topics. Wikipedia. |
|
| The Open Group: Advanced Research www.osf.org/RI
Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS). |
|
| ShagOS 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. |
|
| SUMO 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. |
|
| Topsy 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] |
|
|
The Jesus Army is not responsible for the content of the Open Directory, which we provide here as a public service. Please contact the Open Directory Project with any questions or comments you may have, or follow the links above.
|
|
|
Microkernel
