EriX Project

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

Tampere, Finland
vspaced is the user-space virtual address-space policy service. It governs mapping layout policy and address-space construction above kernel primitives.
Updated 2026-03-23 09:20:27 +01:00
Minimal command-line hashing utility for EriX SHA-2 workflows.
Updated 2026-03-23 09:20:26 +01:00
timed is the time service daemon for EriX.
Updated 2026-03-23 09:20:26 +01:00
seriald is the serial console mediation service in EriX userspace.
Updated 2026-03-23 09:20:25 +01:00
rootd is the first user-space policy authority launched by kernel. It receives the kernel -> root handoff and bootstraps critical early services.
Updated 2026-03-23 09:20:25 +01:00
procd is the user-space process lifecycle manager. It is responsible for controlled process/task creation and lifecycle policy.
Updated 2026-03-23 09:20:24 +01:00
probed is the hardware discovery daemon for EriX.
Updated 2026-03-23 09:20:24 +01:00
named is the service discovery registry daemon for EriX.
Updated 2026-03-23 09:20:23 +01:00
pagerd is the user-space paging/backing policy service. It provides page content and page-fault resolution policy for managed mappings.
Updated 2026-03-23 09:20:23 +01:00
meta Template
EriX meta repository; also serves as repository template
Updated 2026-03-23 09:20:22 +01:00
memd is the user-space memory policy service. It owns allocation policy decisions above kernel primitive object semantics.
Updated 2026-03-23 09:20:22 +01:00
logd is the centralized logging daemon for EriX.
Updated 2026-03-23 09:20:22 +01:00
lib-time is the no_std client helper library for the timed service.
Updated 2026-03-23 09:20:21 +01:00
lib-log is the logging client helper library for EriX.
Updated 2026-03-23 09:20:20 +01:00
Minimal no_std SHA-2 implementation crate for EriX.
Updated 2026-03-23 09:20:20 +01:00

Members 1