Microkernel

L4HQ - The L4 Headquarters
the L4 headquarters
L4hq.org ~

The moduli operating system - a flexiblity-driven microkernel architecture
Moduli is a flexibility-driven microkernel operating system.
Moduli-os.com ~

Similar Sites: moduli-os.de - moduli-os.net - moduli-os.org

akari
Akari, a micro-kernel and its associated services.
Akari.co ~

Similar Sites: akariproject.com

Welcome to MkLinux.org
This is the official site for MkLinux, a port of Linux to the Power Macintosh, running Linux 2.0.xx on the OSF Mach 3 MicroKernel. This was originally a project by Apple Computer, Inc. and the Open Software Foundation.
Mklinux.org ~

L4Linux
L4Linux: overview, status, download, installation, use, documentation
L4linux.org ~

Akka Project
Akka: Simpler Scalability, Fault-Tolerance, Concurrency & Remoting through Actors
Akka.io ~

Similar Sites: akkasource.com - akkasource.org

Operating Systems Directory - System Graphics Networks & Operating Systems Directory
Operating Systems Directory is a directory of operating system resources including systems business, services, graphics, networks, DOS, Unix, boot managers, operating systems guides, directories, realtime, programming and much more.
Operatingsystemsdirectory.com ~

E1 Distributed Operating System
The E1 operating system is aimed to provide efficient support for reliable distributed computing, based on object replication, component model support and persistence.
E1os.org ~

Unix Operating System
Unix Operating System online Directory
Codingapes.com ~

NOVA Microhypervisor
NOVA Microhypervisor
Hypervisor.org ~