Search Results for "microkernel"
Sort By:
Showing 74 open source projects for "microkernel"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Redox
Redox is an operating system written in Rust
Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications. Redox is a general purpose operating system written in pure Rust. Our aim is to provide a fully functioning Unix-like microkernel, that is both secure and free. We have modest compatibility with POSIX, allowing Redox to run many programs without porting. We take inspiration from Plan9, Minix, Linux, and BSD. -
2
k23
Experimental WASM Microkernel Operating System
k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s powerful low-level capabilities. It is an experimental and educational project intended to show how Zig can be used for robust, readable systems programming while enabling contributors to rethink traditional OS structures from the ground up. -
3
Genode
Genode OS Framework
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. -
4
Hermit Kernel
A Rust-based, lightweight unikernel
Hermit Kernel is the core component of HermitCore, a Rust-based unikernel that runs directly on hypervisors or bare-metal systems to support high-performance cloud and HPC applications. This repository contains the microkernel’s implementation, optimized for running Rust applications natively in a lightweight, single-address-space environment. Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as... -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
Obscura
It's a personal microkernel project designed as a learning ground.
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 -
6
HelenOS
A microkernel-based multiserver operating system written from scratch.
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. -
7
Xyris
The Xyris Kernel
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. -
8
XNU
Legacy mirror of Darwin Kernel
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. -
9
Resea
A microkernel-based hackable operating system
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. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
speccy3os
Message passing microkernel-based Operating System for ZX Spectrum +3e
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. -
11
LorenaSO
Lorena es un sistema operativo escrito en C, C++ y Ensamblador.
Lorena es un sistema operativo de tipo microkernel, escrito en C, C++ y Ensamblador y basado en NextDivel. -
12
PowerNex
An operating system written in D
PowerNex is a microkernel operating system written entirely in the Nim programming language. Designed as a learning and research project, it explores OS development using a modern high-level systems language while still offering low-level control. PowerNex focuses on modularity, simplicity, and code clarity. While still in its early stages, the project includes basic kernel functionality, including memory management, task switching, and a custom bootloader, offering insight into building an OS from the ground up using newer programming paradigms. -
13
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.
-
14
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.
-
15
-
16
pirix
microkernel operating system
-
17
Orchid
A microkernel, capability-based operating system for the Cloud.
An object oriented, capability-based operating system kernel for the Cloud. -
18
Mstring microkernel
Real time microkernel
μString microkernel is the part of Jari OS project. It's a preemptible, real-time microkernel that used in Jari OS platform. -
19
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.
-
20
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.
-
21
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.
-
22
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.
-
23
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.
-
24
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.
-
25
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.
