Projects

HelenOS

HelenOS is a microkernel-based multiserver operating system designed from scratch. It decomposes key operating system functionality into many isolated, intensively communicating server processes that reside entirely in user space. HelenOS thus provides a computing environment that has several ... [More] virtues, such as flexibility, increased robustness, well defined explicit interfaces and reduced complexity of individual components as compared to other operating systems. HelenOS runs on seven different processor architectures, ranging from a 32-bit uniprocessor little-endian ARMv4 to a 64-bit multicore big-endian UltraSPARC T1. [Less]

SharpOS

The SharpOS Project is a community effort to write an operating system in .NET, with a strong sense of security and managability. Please note that the GPLv3 license includes the Classpath Linking Exception.

MOSA Project

The Managed Operating System Alliance (MOSA) Framework is a set of operating system components, compiler tools and libraries for managed operating systems based on the Common Intermediate Language and .NET technology. We provide the foundation for other projects, such as SharpOS.

Ensemble

Ensemble is an effort to write the next generation operating system using CIL compliant languages (currently only C#). The main focus of Ensemble is to write an consumer- and enterprise-level operating system that can be used in the real world.

Pistachio

L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently ... [More] code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]

Metta

Metta is a multimedia, mobile, social OS. My goal is to make Metta the platform for social, efficient and fun life on the internet. I call such internet egocentric, because it revolves around your needs and desires. Be free!

delirium-kernel

DeLiRiuM is a 32-bit nano-kernel hybrid operating system One of it's aims is developing and testing unconventional interfaces between OS and userspace rather than providing yet another ubiquitous POSIX.1-like API. The goal is to do this in a not only in a programmer friendly way, but also ... [More] without sacrificing modern OS features or performance. Development currently targets IA-32 (x86), the Xen hypervisor and UNIX userspace. The DeLiRiuM kernel is primarily written in ANSI C and x86 assembler (gas). [Less]

Fiasco

Fiasco is a new µ-kernel (microkernel) running on x86 PCs intended to be compatible with the L4 µ-kernel for x86. It implements the L4 ABI as defined in the L4/x86 Reference Manual. The Fiasco kernel can be used to construct flexible systems. We at TU Dresden use it as a base for our DROPS ... [More] system which supports running real-time and time-sharing applications concurrently on one computer. However, Fiasco is not only suitable for big and complex systems, but also for small, embedded applications. [Less]

kaneton

kaneton is a microkernel project which aims at providing a very clear, extensible and powerful design especially for students which can use the project to learn about operating system internals.

Draumr

Draumr is a 21st century multiprocessing operating system, designed specially for SMP and NUMA.