EriX Project

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

Tampere, Finland
lib-driver provides typed client helpers for driver control IPC.
Updated 2026-09-21 18:57:46 +02:00
lib-time is the no_std client helper library for the timed service.
Updated 2026-09-21 18:29:27 +02:00
lib-service is the service-discovery client helper crate for EriX.
Updated 2026-09-21 18:28:55 +02:00
lib-log is the logging client helper library for EriX.
Updated 2026-09-21 18:28:20 +02:00
lib-interrupt provides typed client helpers for the EriX interrupt routing service.
Updated 2026-09-21 18:27:46 +02:00
lib-block is the canonical fixed-size IPC/types crate for block storage
Updated 2026-09-21 18:27:12 +02:00
lib-bootstrap defines shared bootstrap startup contracts for root task and early critical services.
Updated 2026-09-21 18:26:39 +02:00
lib-capabi defines shared capability ABI primitives for EriX.
Updated 2026-09-21 17:44:12 +02:00
lib-ipc defines shared IPC ABI primitives for EriX.
Updated 2026-09-21 17:41:07 +02:00
EriX POSIX compatibility service for bounded realms, descriptors, processes, and native capability mediation.
Updated 2026-09-19 15:28:02 +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-09-18 08:10:14 +02:00
lib-dynlink provides validation-first native dynamic-link planning helpers for EriX
Updated 2026-09-16 06:45:20 +02:00
A command-line utility for inspecting, verifying, and building boot images for the EriX operating system.
Updated 2026-09-15 15:57:40 +02:00
A small, validation-first boot.img parser and verifier for the EriX project, written in Rust.
Updated 2026-09-15 15:27:15 +02:00
Minimal command-line hashing utility for EriX SHA-2 workflows.
Updated 2026-09-15 15:12:06 +02:00

Members 1