|
|
 SPIN
An Extensible Microkernel for Application-specific Operating System Services.
 http://portal.acm.org/citation.cfm?id=504390.504408
|
Pistachio
L4 based microkernel for many different processors.
http://l4ka.org/projects/pistachio/
|
LSE/OS
Robust nanokernel which never crash.
http://etudiant.epita.fr/~lse/
|
L4Ka
Microkernel L4Ka
http://l4ka.org/
|
L4
The L4 µ-kernel family.
http://os.inf.tu-dresden.de/L4/
|
L3
µ-kernel for i386, i486 and Pentium processors.
http://os.inf.tu-dresden.de/L4/l3.html
|
KeyKOS
Capability-based object-oriented nanokernel.
http://www.cis.upenn.edu/~KeyKOS/NanoKernel/NanoKernel.html
|
K42
High performance microkernel for cache-coherent multiprocessors.
http://www.research.ibm.com/K42/
|
GNU Mach
The microkernel of the GNU system.
http://www.gnu.org/software/hurd/gnumach.html
|
Fiasco
µ-kernel running on x86 compatible with the L4 µ-kernel.
http://os.inf.tu-dresden.de/fiasco/
|
Exokernel
Tiny microkernel from MIT.
http://pdos.csail.mit.edu/exo.html
|
EROS
Small, secure and real-time microkernel.
http://www.eros-os.org/design-notes/00DesignNotes.html
|
CMU Mach
Generic microkernel.
http://www-2.cs.cmu.edu/afs/cs/project/mach/public/www/mach.html
|
