EriX Project

A clean-room, capability-based microkernel OS written entirely in Rust.

Tampere, Finland
drv-ps2-keyboard is the PS/2 keyboard protocol translator daemon.
Updated 2026-07-23 14:10:40 +02:00
drv-i8042 is the userspace i8042 controller owner for EriX input bring-up.
Updated 2026-07-23 14:10:39 +02:00
drv-acpi is the ACPI platform discovery daemon in EriX hardware mediation.
Updated 2026-07-23 14:10:38 +02:00
The EriX bootloader — a minimal, security-focused bootloader that currently targets UEFI on x86_64 and loads/verifies boot.img files.
Updated 2026-07-23 14:10:37 +02:00
kernel is the policy-minimal microkernel core in the EriX boot chain.
Updated 2026-07-23 14:10:36 +02:00
Minimal command-line hashing utility for EriX SHA-2 workflows.
Updated 2026-07-23 14:10:34 +02:00
A command-line utility for inspecting, verifying, and building boot images for the EriX operating system.
Updated 2026-07-23 14:10:33 +02:00
lib-dynlink provides validation-first native dynamic-link planning helpers for EriX
Updated 2026-07-23 14:10:22 +02:00
A thin, no-policy Rust crate for EriX handoff structures used in early boot and early userspace bootstrap.
Updated 2026-07-23 14:10:18 +02:00
lib-console provides shared framebuffer console primitives used by bootloader, kernel, and userspace console services.
Updated 2026-07-23 14:10:17 +02:00
lib-vfs is the no_std typed client and path-validation crate for the public filesystem surface
Updated 2026-07-23 14:10:15 +02:00
lib-partition is the no-std GPT parser used by blockd
Updated 2026-07-23 14:10:15 +02:00
lib-block is the canonical fixed-size IPC/types crate for block storage
Updated 2026-07-23 14:10:13 +02:00
lib-driver provides typed client helpers for driver control IPC.
Updated 2026-07-23 14:10:11 +02:00
lib-device provides typed device-binding descriptors and validation helpers shared by device-management services and driver tests.
Updated 2026-07-23 14:10:11 +02:00

Members 1