Select a tag to browse associated projects and drill deeper into the tag cloud.
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]
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.
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 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.
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]
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 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]
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]
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.