EriX Project

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

Tampere, Finland
A small, validation-first boot.img parser and verifier for the EriX project, written in Rust.
Updated 2026-05-22 14:10:11 +02:00
lib-block is the canonical fixed-size IPC/types crate for block storage
Updated 2026-05-22 14:10:10 +02:00
irqd is the interrupt routing daemon for EriX.
Updated 2026-05-22 14:10:06 +02:00
hotplugd is the hardware hotplug mediation daemon for EriX.
Updated 2026-05-22 14:10:04 +02:00
inputd is the normalized input routing service.
Updated 2026-05-22 14:10:04 +02:00
fbcond is the framebuffer console service for EriX.
Updated 2026-05-22 14:10:03 +02:00
drv-ps2-mouse is the PS/2 pointer protocol translator daemon.
Updated 2026-05-22 14:09:59 +02:00
drv-ps2-keyboard is the PS/2 keyboard protocol translator daemon.
Updated 2026-05-22 14:09:58 +02:00
drv-i8042 is the userspace i8042 controller owner for EriX input bring-up.
Updated 2026-05-22 14:09:58 +02:00
drv-acpi is the ACPI platform discovery daemon in EriX hardware mediation.
Updated 2026-05-22 14:09:57 +02:00
A command-line utility for inspecting, verifying, and building boot images for the EriX operating system.
Updated 2026-05-22 14:09:54 +02:00
blockd is the mediated storage service for EriX
Updated 2026-05-22 14:09:54 +02:00
Crash reporting service for the EriX operating system.
Updated 2026-05-22 14:09:54 +02:00

Members 1