EriX Project

• RSS feed
• Atom feed

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

Tampere, Finland

Repositories

63

Projects Packages Members

1

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

vspaced

Rust 0 0

vspaced is the user-space virtual address-space policy service. It governs mapping layout policy and address-space construction above kernel primitives.

Updated 2026-05-22 14:10:45 +02:00

timed

Rust 0 0

timed is the time service daemon for EriX.

Updated 2026-05-22 14:10:44 +02:00

sha2-tool

Rust 0 0

Minimal command-line hashing utility for EriX SHA-2 workflows.

Updated 2026-05-22 14:10:42 +02:00

seriald

Rust 0 0

seriald is the serial console mediation service in EriX userspace.

Updated 2026-05-22 14:10:42 +02:00

probed

Rust 0 0

probed is the hardware discovery daemon for EriX.

Updated 2026-05-22 14:10:38 +02:00

pagerd

Rust 0 0

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

Rust 0 0

named is the service discovery registry daemon for EriX.

Updated 2026-05-22 14:10:36 +02:00

memd

Rust 0 0

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

Rust 0 0

lib-time is the no_std client helper library for the timed service.

Updated 2026-05-22 14:10:32 +02:00

lib-sha2

Rust 0 0

Minimal no_std SHA-2 implementation crate for EriX.

Updated 2026-05-22 14:10:31 +02:00

lib-service

Rust 0 0

lib-service is the service-discovery client helper crate for EriX.

Updated 2026-05-22 14:10:30 +02:00

lib-log

Rust 0 0

lib-log is the logging client helper library for EriX.

Updated 2026-05-22 14:10:28 +02:00

lib-interrupt

Rust 0 0

lib-interrupt provides typed client helpers for the EriX interrupt routing service.

Updated 2026-05-22 14:10:26 +02:00

lib-input

Rust 0 0

lib-input is the typed no_std client helper library for inputd.

Updated 2026-05-22 14:10:25 +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-05-22 14:10:24 +02:00

Members 1