Search Results for "microkernel"

Genode is a capability-based, component-oriented operating system framework focused on building secure, modular, and flexible operating systems. Unlike monolithic or microkernel-only designs, Genode allows developers to construct OSes from fine-grained components that communicate through well-defined interfaces. It supports multiple kernels including NOVA, seL4, and Fiasco.OC, and has been used to build everything from microhypervisors to full desktops. Genode places strong emphasis on security, fault isolation, and formal verifiability, making it ideal for critical systems and research environments.

HelenOS is a portable microkernel-based multiserver operating system written from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others.

Xyris is a microkernel-based operating system developed with a focus on modularity, simplicity, and modern code practices. Written in C++, Xyris separates drivers and system services into isolated components using message passing, in line with microkernel philosophy. It’s designed as a research and hobbyist OS, with a clean codebase and early implementations of multitasking, system calls, and filesystem abstractions.

Lorena es un sistema operativo de tipo microkernel, escrito en C, C++ y Ensamblador y basado en NextDivel.

XeNOS is a portable microkernel operating system written mostly in C++. Its primary goal is to provide a simple, object oriented device driver interface and API.

An object oriented, capability-based operating system kernel for the Cloud.

Real-time, modular, microkernel-based operating system under development for i386. The first goal is to support 32-bit DOS protected mode applications made with DJGPP as well as native applications.

yaMOS stands for: yet another "My Operating System". This is a hobby Operating System, let's see to what it develops... At the moment it's only a kernel written in C++ and Assemly.

Hobbyist operating system using a new microkernel. The objective is to not get bogged down by ancient legacy processor support. The OS is meant to be designed from the ground up, without utilizing any legacy or existing implementations or designs.

OOSys is a plan to create an object-oriented operating system based on classes and objects instead of files and programs, with a strong focus on both clean design and practical usefulness. As a start, we are developing a microkernel.

FOS - open source 32-bit microkernel operating system.

The aim of our project is to create a portable microkernel and a set of OS services that allow good local performance, multiple concurrent operative system personalities (ie UNIX and a native interface) and easy integration of distributed components.

eGIS - (Ege Embedded Operating System) is a portable, configurable, extensible object oriented and real-time embedded operating system microkernel written mostly in C++ language and designed using modern software approaches using design patterns.

The Experimental Kernel Project++ is a microkernel implemented in C++, IA-32 and PowerPC assembly.

MDF is microkernel operating system. Module architecture minimalistic design.

Soft-realtime operating system, based in a microkernel design and providing QoS and persistence capabilities.

Mithrill is an exprerimental microkerenl based operating system. Out initial interest will be in the research of persistant and distributed systems, and security techniques on top of a microkernel.

GenesisAE defines and implements an application environment for portable, network-transparent and secure applications. GenesisAE is based on a QNX-like (S/R/R) microkernel and on basic servers (providing device I/O, a database, ...)

Components supporting real-time, reliability, high-availability, and security services in standard operating environments. Starting with the C5 modular microkernel, a RT-POSIX layer based on FreeBSD 4.1, and the CDE cross-development environment.

A Protected mode microkernel for the x86 system. With features like memory management, multitasking and protection will be included in the kernel, the rest will be added as drivers/software.

The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/