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.
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'(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.
The DROPS project aims at supporting applications with Quality of Service requirements. L4Linux 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.
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.
The L4Linux is a port of Linux to the L4 µ-kernel. L4Linux 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.
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.
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.
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.