EriX Project

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

Tampere, Finland
pagerd is the user-space paging/backing policy service. It provides page content and page-fault resolution policy for managed mappings.
Updated 2026-05-22 14:10:37 +02:00
named is the service discovery registry daemon for EriX.
Updated 2026-05-22 14:10:36 +02:00
memd is the user-space memory policy service. It owns allocation policy decisions above kernel primitive object semantics.
Updated 2026-05-22 14:10:35 +02:00
lib-time is the no_std client helper library for the timed service.
Updated 2026-05-22 14:10:32 +02:00
Minimal no_std SHA-2 implementation crate for EriX.
Updated 2026-05-22 14:10:31 +02:00
lib-service is the service-discovery client helper crate for EriX.
Updated 2026-05-22 14:10:30 +02:00
lib-log is the logging client helper library for EriX.
Updated 2026-05-22 14:10:28 +02:00
lib-interrupt provides typed client helpers for the EriX interrupt routing service.
Updated 2026-05-22 14:10:26 +02:00
lib-input is the typed no_std client helper library for inputd.
Updated 2026-05-22 14:10:25 +02:00
A thin, no-policy Rust crate for EriX handoff structures used in early boot and early userspace bootstrap.
Updated 2026-05-22 14:10:24 +02:00
lib-driver provides typed client helpers for driver control IPC.
Updated 2026-05-22 14:10:20 +02:00
Minimal no_std Ed25519 verification crate for EriX secure boot and related validation paths.
Updated 2026-05-22 14:10:20 +02:00
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
Minimal no_std constant-time primitives for EriX security-critical code paths.
Updated 2026-05-22 14:10:16 +02:00
lib-console provides shared framebuffer console primitives used by bootloader, kernel, and userspace console services.
Updated 2026-05-22 14:10:15 +02:00

Members 1