This website requires JavaScript.
Explore
Help
Register
Sign in
Repositories
Users
Organizations
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
erix
/
integration
Python
0
0
integration is the cross-repository system integration and VM validation repository for EriX.
Updated
2026-09-22 08:31:55 +02:00
erix
/
docs
TeX
0
0
EriX general documentation repository
Updated
2026-09-22 08:31:48 +02:00
erix
/
kernel
Rust
0
0
kernel is the policy-minimal microkernel core in the EriX boot chain.
Updated
2026-09-22 08:31:47 +02:00
erix
/
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-09-21 22:07:57 +02:00
erix
/
vfsd
Rust
0
0
vfsd is the public virtual filesystem daemon for Erix
Updated
2026-09-21 20:23:48 +02:00
erix
/
exsh
Rust
0
0
Native capability-bounded command shell for EriX.
Updated
2026-09-21 20:23:14 +02:00
erix
/
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-09-21 20:05:36 +02:00
erix
/
ttyd
Rust
0
0
EriX trusted terminal session service managing PTYs, input focus and isolated ordinary and trusted UI routing.
Updated
2026-09-21 20:04:02 +02:00
erix
/
timed
Rust
0
0
timed is the time service daemon for EriX.
Updated
2026-09-21 20:02:32 +02:00
erix
/
seriald
Rust
0
0
seriald is the serial console mediation service in EriX userspace.
Updated
2026-09-21 20:02:05 +02:00
erix
/
powerboxd
Rust
0
0
EriX trusted object-bound authority broker for scoped grants, user approval and revocation cleanup.
Updated
2026-09-21 20:01:38 +02:00
erix
/
logd
Rust
0
0
logd is the centralized logging daemon for EriX.
Updated
2026-09-21 20:00:50 +02:00
erix
/
extop
Rust
0
0
Native EriX session-scoped process monitor with CPU, memory and job accounting views.
Updated
2026-09-21 19:59:04 +02:00
erix
/
e2fsd
Rust
0
0
e2fsd is the private ext-family filesystem provider daemon for EriX
Updated
2026-09-21 19:58:15 +02:00
erix
/
deviced
Rust
0
0
deviced is the device manager daemon for EriX.
Updated
2026-09-21 19:48:33 +02:00
erix
/
coreutils
Rust
0
0
Native capability-aware command-line utilities for EriX.
Updated
2026-09-21 19:47:20 +02:00
erix
/
ramfsd
Rust
0
0
ramfsd is the private volatile filesystem backend for EriX
Updated
2026-09-21 19:45:35 +02:00
erix
/
probed
Rust
0
0
probed is the hardware discovery daemon for EriX.
Updated
2026-09-21 19:45:05 +02:00
erix
/
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-09-21 19:44:41 +02:00
erix
/
named
Rust
0
0
named is the service discovery registry daemon for EriX.
Updated
2026-09-21 19:44:20 +02:00
First
Previous
1
2
3
4
5
Next
Last