Search Results for "microkernel"
Sort By:
Showing 20 open source projects for "microkernel"
View related business solutions-
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.
-
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.
-
1
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. -
2
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. -
3
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... -
4
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. -
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
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. -
6
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. -
7
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. -
8
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. -
9
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. -
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
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. -
11
pirix
microkernel operating system
-
12
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.
-
13
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.
-
14
-
15
-
16
-
17
-
18
Quantix is a microkernel operating system distribution based on the Mach kernel. Quantix uses the X windowing environment for a user interface.
-
19
A microkernel operating system distribution offering (among other things) very low hardware requirements, full and easy portability and easy-readable source code.
-
20
An operating system using a microkernel design. Intends to target multiple platforms, but initial implementation will be for x86_64. Will also incorporate ACL-based security model in order to control access to resources.
- Previous
- You're on page 1
- Next
