Related Projects

SawMill (IBM T.J. Watson Research Center, University of Karlsruhe, TU Dresden)

A multiserver Linux. The goal of the project is to develop a highly configurable operating system which can be composed from a set of general or application-specific components.

L4/MIPS and L4/Alpha (University of New South Wales)

The DiSy group at UNSW developed two 64bit L4 implementations based on the Version 2 API. The MIPS kernel is/was used for teaching and research. With the release of L4Ka::Pistachio both kernels are discontinued. The DiSy group maintains the MIPS and Alpha architectures of the L4Ka::Pistachio kernel.

Mungi (University of New South Wales)

A single address space operating system (SASOS) on top of L4. The goal of the project is to show that a SASOS can work on standard hardware, can be made as secure as traditional systems, is not inherently less efficient that traditional systems, and that for some classes of important applications it delivers performance advantages over traditional systems.

Open Kernel Labs (Chicago, IL / Sydney, Australia)

Open Kernel Labs'(OK) technology leadership in embedded operating systems and virtualization technology enables the development of reliable, trustworthy and affordable embedded systems. OK's open-source technology, OKL4, is the world's best-performing microkernel operating system. OK Labs is collaborating closely with NICTA, Australia's prestigious Center of Excellence in ICT research, on developing the first fully verified, proven bug-free operating systems kernel within two years.

DROPS: Dresden real-time operating system (TU Dresden)

The DROPS project aims at supporting applications with Quality of Service requirements. L⁴Linux is used for servicing standard Linux applications. Specific real-time applications are served by a set of real-time components running on top of L4.

Fiasco (TU Dresden)

Fiasco is a µ-kernel implementation for x86 with an L4 binary interface done by Michael Hohmuth. Fiasco is designed as a preemptible real-time kernel, and is used as a base for the DROPS system.

VFiasco (verified Fiasco) (TU Dresden)

VFiasco's two primary goals are to further develop co-algebraic specification techniques such that these techniques can be applied to real software and to mechanically verify some security relevant properties of a complete microkernel operating system running on x86 PCs.

L⁴Linux: Linux on L4 (TU Dresden)

The L⁴Linux is a port of Linux to the L4 µ-kernel. L⁴Linux runs as an L4 server in user-mode, side-by-side with other L4 applications (e.g. real-time components). It is binary compatible with normal Linux/x86 kernels.

PERSEUS (University of Saarbrücken)

Security critical applications like electronic signatures, online banking, or e-government do not only need secure cryptography, but also a trustworthy platform that reliably separates different applications from each other and that comes with a user interface that ensures that Trojan horses cannot intercept the user authorization (e.g., a passphrase). PERSEUS is an open-source project that shows that this can be achieved with much less programming effort and more flexibility than typically thought.

L4-Hurd (GNU - Free Software Foundation)

The L4-Hurd project aims to port the current HURD multiserver operating system and use the advantages of L4's fast IPC and slimness. Furthermore, this project could make HURD independend of MACH.

L4minix (National Institute of Informatics, Japan)

L4minix is an experimental/etude porting of Minix on the L4Ka micro kernel for future extension.

IoL4 (IoL4 Development Team)

IoL4 is an effort to port the Io programming language interpreter to the L4 µ-kernel, allowing the IoVM to run on top of the bare µ-kernel and making use of L4 primitives.

E1 Distributed Operating System (E1 OS Development Team)

E1 is a distributed operating system project based on the concepts of object replication, component model support, and persistence. To provide applications with transparent access to all resources of the computer network, state and functionality of operating syste components and application software are encapsulated by distributed objects.

NomadBios (DIKU)

NomadBios allows multiple operating system instances (currently L4Linux) to run on a single computer, and enables near-instant hot-migration of Linuxes across machines. By using a precopy technique, NomadBios is able to migrate a fully running Linux between two machines (which do not need to have the exact same hardware) with a downtime of less than 1/10 second on a 100Mbit network.

Student Projects

SDIOS06 (T. Bingmann, M. Braun, T. Geiger, A. Maehler - University of Karlsruhe)

This is a toy operating system developed during the "System Design and Implementation" course 2006 at the University of Karlsruhe.

SC/OS (S. Hack, C. Ceelen - University of Karlsruhe)

SC/OS is an experimental multi-server toy operating system using Flick. It was built by two students in the course "System Design and Implementation" in summer 2001.

ChacmOS (A. Haeberlen, C. Schwarz, M. Völp, H. Wenske - University of Karlsruhe)

ChacmOS is an experimental multi-server toy operating system. It was built by four students in the course "System Design and Implementation" in summer 2000.