EriX Project

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

Tampere, Finland
Repositories
63
 Projects Packages Members
1
Filter
Sort
drv-acpi
Rust 0 0
drv-acpi is the ACPI platform discovery daemon in EriX hardware mediation.
Updated 2026-07-23 14:10:38 +02:00
bootloader
Rust 0 0
The EriX bootloader — a minimal, security-focused bootloader that currently targets UEFI on x86_64 and loads/verifies boot.img files.
Updated 2026-07-23 14:10:37 +02:00
kernel
Rust 0 0
kernel is the policy-minimal microkernel core in the EriX boot chain.
Updated 2026-07-23 14:10:36 +02:00
sha2-tool
Rust 0 0
Minimal command-line hashing utility for EriX SHA-2 workflows.
Updated 2026-07-23 14:10:34 +02:00
boot-tool
Rust 0 0
A command-line utility for inspecting, verifying, and building boot images for the EriX operating system.
Updated 2026-07-23 14:10:33 +02:00
lib-dynlink
Rust 0 0
lib-dynlink provides validation-first native dynamic-link planning helpers for EriX
Updated 2026-07-23 14:10:22 +02:00
lib-handoff
Rust 0 0
A thin, no-policy Rust crate for EriX handoff structures used in early boot and early userspace bootstrap.
Updated 2026-07-23 14:10:18 +02:00
lib-console
Rust 0 0
lib-console provides shared framebuffer console primitives used by bootloader, kernel, and userspace console services.
Updated 2026-07-23 14:10:17 +02:00
lib-vfs
Rust 0 0
lib-vfs is the no_std typed client and path-validation crate for the public filesystem surface
Updated 2026-07-23 14:10:15 +02:00
lib-partition
Rust 0 0
lib-partition is the no-std GPT parser used by blockd
Updated 2026-07-23 14:10:15 +02:00
lib-block
Rust 0 0
lib-block is the canonical fixed-size IPC/types crate for block storage
Updated 2026-07-23 14:10:13 +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-07-23 14:10:11 +02:00
lib-driver
Rust 0 0
lib-driver provides typed client helpers for driver control IPC.
Updated 2026-07-23 14:10:11 +02:00
lib-interrupt
Rust 0 0
lib-interrupt provides typed client helpers for the EriX interrupt routing service.
Updated 2026-07-23 14:10:09 +02:00
lib-input
Rust 0 0
lib-input is the typed no_std client helper library for inputd.
Updated 2026-07-23 14:10:08 +02:00

Members 1