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

integration

Python 0 0

integration is the cross-repository system integration and VM validation repository for EriX.

Updated 2026-07-23 14:52:21 +02:00

docs

TeX 0 0

EriX general documentation repository

Updated 2026-07-23 14:22:06 +02:00

lib-bootstrap

Rust 0 0

lib-bootstrap defines shared bootstrap startup contracts for root task and early critical services.

Updated 2026-07-23 14:17:22 +02:00

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-07-23 14:11:26 +02:00

vfsd

Rust 0 0

vfsd is the public virtual filesystem daemon for Erix

Updated 2026-07-23 14:11:25 +02:00

timed

Rust 0 0

timed is the time service daemon for EriX.

Updated 2026-07-23 14:11:23 +02:00

seriald

Rust 0 0

seriald is the serial console mediation service in EriX userspace.

Updated 2026-07-23 14:11:22 +02:00

rootd

Rust 0 0

rootd is the first user-space policy authority launched by kernel. It receives the kernel -> root handoff and bootstraps critical early services.

Updated 2026-07-23 14:11:21 +02:00

ramfsd

Rust 0 0

ramfsd is the private volatile filesystem backend for EriX

Updated 2026-07-23 14:11:19 +02:00

procd

Rust 0 0

procd is the user-space process lifecycle manager. It is responsible for controlled process/task creation and lifecycle policy.

Updated 2026-07-23 14:11:18 +02:00

probed

Rust 0 0

probed is the hardware discovery daemon for EriX.

Updated 2026-07-23 14:11:16 +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-07-23 14:11:15 +02:00

named

Rust 0 0

named is the service discovery registry daemon for EriX.

Updated 2026-07-23 14:11:13 +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-07-23 14:11:12 +02:00

loaderd

Rust 0 0

loaderd is the native program-loader service for EriX

Updated 2026-07-23 14:11:10 +02:00

Members 1