EriX Project

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

Tampere, Finland
Repositories
63
 Projects Packages Members
1
Filter
Sort
lib-ed25519
Rust 0 0
Minimal no_std Ed25519 verification crate for EriX secure boot and related validation paths.
Updated 2026-05-22 14:10:20 +02:00
lib-driver
Rust 0 0
lib-driver provides typed client helpers for driver control IPC.
Updated 2026-05-22 14:10:20 +02:00
lib-device
Rust 0 0
lib-device provides typed device-binding descriptors and validation helpers shared by device-management services and driver tests.
Updated 2026-05-22 14:10:18 +02:00
lib-constant-time
Rust 0 0
Minimal no_std constant-time primitives for EriX security-critical code paths.
Updated 2026-05-22 14:10:16 +02:00
lib-console
Rust 0 0
lib-console provides shared framebuffer console primitives used by bootloader, kernel, and userspace console services.
Updated 2026-05-22 14:10:15 +02:00
lib-bootimg
Rust 0 0
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
Rust 0 0
lib-block is the canonical fixed-size IPC/types crate for block storage
Updated 2026-05-22 14:10:10 +02:00
irqd
Rust 0 0
irqd is the interrupt routing daemon for EriX.
Updated 2026-05-22 14:10:06 +02:00
hotplugd
Rust 0 0
hotplugd is the hardware hotplug mediation daemon for EriX.
Updated 2026-05-22 14:10:04 +02:00
inputd
Rust 0 0
inputd is the normalized input routing service.
Updated 2026-05-22 14:10:04 +02:00
fbcond
Rust 0 0
fbcond is the framebuffer console service for EriX.
Updated 2026-05-22 14:10:03 +02:00
drv-ps2-mouse
Rust 0 0
drv-ps2-mouse is the PS/2 pointer protocol translator daemon.
Updated 2026-05-22 14:09:59 +02:00
drv-i8042
Rust 0 0
drv-i8042 is the userspace i8042 controller owner for EriX input bring-up.
Updated 2026-05-22 14:09:58 +02:00
drv-ps2-keyboard
Rust 0 0
drv-ps2-keyboard is the PS/2 keyboard protocol translator daemon.
Updated 2026-05-22 14:09:58 +02:00
drv-acpi
Rust 0 0
drv-acpi is the ACPI platform discovery daemon in EriX hardware mediation.
Updated 2026-05-22 14:09:57 +02:00

Members 1