Projects tagged ‘microkernel’

Haiku is an open-source desktop operating system with the goal to create an innovative and seamless computing experience. Our first release will be an improved remake of BeOS R5, which was a ... [More] commercial operating system created by Be Inc. After the company closed its doors a group of developers decided to continue the BeOS as an open source effort. [Less]

Jari OS is a real-time microkernel operating system which runs in terms of multi-service architecture. Core system consists of its own microkernel μString, core and system services, set of device ... [More] drivers launched as trusted services. Our system is a pure microkernel and multi-service OS. All work is made via trusted services, and each service works within its own address space, and in this case Jari OS is a pure multi-service OS. Jari OS provide POSIX API for threads, files, networking, timers, memory operations. [Less]

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 HelenOS project is an effort to develop a complete and usable modern operating system, yet offering room for experimenting and research. HelenOS uses its own microkernel written from scratch and ... [More] supports SMP, multitasking and multithreading on both 32-bit and 64-bit, little-endian and big-endian processor architectures, among which are AMD64/EM64T (x86-64), ARM, IA-32, IA-64 (Itanium), 32-bit MIPS, 32-bit PowerPC, SPARC V9 and Xen 3.0. Thanks to the relatively high number of supported architectures and suitable design, HelenOS is extremely-well portable. [Less]

The GNU Hurd is the GNU project's replacement for the Unix kernel. The Hurd is a collection of servers that run on the Mach microkernel to implement file systems, network protocols, file access ... [More] control, and other features that are implemented by the Unix kernel or similar kernels (such as Linux). [Less]

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 ... [More] .NET technology. We provide the foundation for other projects, such as SharpOS and Ensemble OS. [Less]

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.

MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many ... [More] key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as a serious system on resource-limited and embedded computers and for applications requiring high reliability. This new OS is extremely small, with the part that runs in kernel mode under 4000 lines of executable code. The parts that run in user mode are divided into small modules, well insulated from one another. For example, each device driver runs as a separate user-mode process so a bug in a driver (by far the biggest source of bugs in any operating system), cannot bring down the entire OS. [Less]

μString is a microkernel or exokernel (call it whatever like you want) - a part of the Jari Operating System Research Project. For the better support and project life it's licensed under GNU GPLv2 ... [More] License and you can freely use it in your targets, modify and run this microkernel. μString designed to be stable exists to both source code and API, it's supposed to be a source code backward compatibility that makes a development more effictive compairing with linux kernel for example. [Less]

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 ... [More] , Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]