Search Results for "microkernel"

Obscura is a personal microkernel project designed as a learning ground for low-level operating systems. Its initial aim is to lay the foundations for a minimalist kernel, then gradually evolve towards a modular, stable and simple operating system. ## 🧭 Objectives - Learn and master : - Low-level C language - x86/x86_64 assembler - Modern processor architecture - Fundamental principles of operating systems - Develop a microkernel : - Lightweight and modular - Able to handle hardware interrupts (keyboard, timer) - Support minimal user space - Evolve to a simple OS: - With a rudimentary shell - Isolated user processes - A basis for experimenting with system concepts ## ⚙️ Project status > 🚧 Project under development - Learning phase (year 1) Short-term planned features : - [ ] Multiboot-compatible GRUB bootloader - [ ] Text mode display (VGA) - [ ] Interrupt management (IRQ / keyboard) - [ ] First task manager loop

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.

Darwin XNU is the hybrid kernel that powers Apple’s macOS, iOS, watchOS, and tvOS operating systems, forming the foundation of the Darwin open-source core. The name XNU stands for X is Not Unix, highlighting its origin as a combination of multiple kernel technologies—primarily the Mach microkernel from Carnegie Mellon University, integrated with substantial components from FreeBSD and Apple’s proprietary IOKit driver framework. This hybrid architecture merges the microkernel model’s message-passing flexibility with the monolithic performance and direct hardware control typical of Unix-like systems. XNU handles essential kernel responsibilities such as memory management, multitasking, interprocess communication (IPC), device I/O, system calls, security enforcement, and scheduling across both single and multi-core architectures.

resea is a small, message-passing-based operating system kernel designed with microkernel principles in mind. Written in C with minimal dependencies, it emphasizes modularity, isolation, and simplicity. resea includes a basic POSIX-like interface and supports multitasking, IPC, and user-space services. It serves as both a microkernel OS experiment and a platform for learning about low-level system design without the complexity of larger operating systems.

This project is an attempt to design an message passing microkernel-based Operating System for the ZX Spectrum +3e computer equipped with ZXMMC mass storage device. It was made mostly for PoC purpose.

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

KoinKoin is an operating system, based on a second generation microkernel, k2 (strongly inspired by the L4 API). KoinKoin offers a modular design allowing to build specific-purpose and minimalist operating systems.

Phlox OS and Phlox Microkernel

μString microkernel is the part of Jari OS project. It's a preemptible, real-time microkernel that used in Jari OS platform.

M String is a microkernel based on some part of oskit libs. It's designed to be small, simple, and have a simple API for server interprocess communication.

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 drivers launched as trusted services.

Lyos is an open source operating system that runs on 32-bit x86-based PCs.

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.

Kmax 8bit microkernel for AVR ATMega MCUs written in assembler (AVRASM & GCC compatible) with a C API. Core features include priority-based preemptive round-robin scheduling, mutexes, fifos and semaphores with a focus on speed and ease of use.

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.

Aurora OS is an operating system designed in a microkernel format for all users. The object is to develop a modular, mulitplatform, multitasking Operating System that is simple, effective, and powerful.

The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.

IFEM (Industrial, Fault tolerant, EMbedded) is a modern OS with a hybrid kernel design benefitting from ideas such as Pure Microkernel and Exokernel, aiming industrial application, fault-tolerance, embedded applications and perfect modularity.

Open Source microkernel for ia32 architecture. Basically this is a full functional operating system implementation using GNU C and nasm. Fully commented in spanish and with external documents explaining system calls, library functions, design, etc.

FOS - open source 32-bit microkernel operating system.

ManRiX is an open source microkernel based operating system with POSIX interface. It is written from scratch using C and Assembly. Microkernel contains just few basic components of an Operating System while others are implemented as user process.

The Dynamo Kernel Project intends to create a functional yet modular, powerful yet scalable microkernel for home, business and industry.

Colonel intends to be a simplistic microkernel offering capability protected ipc. It's main purpose is of educational nature, it is _not_ meant to be used as microkernel for a "real" OS.