Current state

Two kernels, separate release baselines

JefeOS is the active C++ kernel. JefeRust is a separate Rust implementation whose 1.0 release froze and proved a defined 55-line parity baseline.

1.1.2JefeOS release
1.0.0JefeRust release
4 / 5Linux ABI tiers green
55 / 55JefeRust 1.0 frozen parity lines

Framebuffer boundary: the C++ kernel has an experimental in-kernel desktop and window-manager path, but it needs refinement and is not a headline release experience. JefeRust 1.0 compiled its experimental GUI path into the image; that path was not exercised by the 1.0 runtime gates.

Tracked C++ feature checklist

95%

As of August 16: 121 shipped, 5 in progress, 4 planned. Formula: (shipped + 0.5 × in progress) / 130. This is a scoped editorial checklist, not a measure of overall OS completion.

Limits first

Current limits

These are dated, practical constraints that change how the capability list should be read. The live engineering queue remains the source for current issue state.

Medium
fork(2) is eager-copy, not copy-on-write
It works on the uniprocessor path. C++ ships with JEFEOS_SMP=0; Rust's SMP feature is also off by default. fork fails closed if SMP is enabled.
Medium
Tier 5 awaits physical-console login proof
OpenRC sysinit → boot → default completes on the VM and real apk info works. The remaining boundary is physical-console input through getty to a verified /bin/login prompt.
Medium
C++ TLS certificate enforcement is permissive by default
Validation mechanics exist, but strict trust-anchor and signature enforcement are off by default. JefeRust defaults to strict pinned-anchor validation.
Medium
VFS abstraction remains incomplete
A vnode interface exists; migration of filesystem and descriptor paths remains unfinished.
Lower-priority issue ledger performance, hardware, and tooling follow-ups
JSL compatibility

Linux ABI: four of five tiers green

Each tier adds a harder workload boundary. Tier 4 includes a real Alpine rootfs and package operations. Tier 5 now completes OpenRC's boot sequence; physical-console getty-to-login proof remains.

Tier 1

musl-static utilities

Static binaries and basic process startup.

Green
Tier 2

glibc-static

Full libc startup, TLS canary, brk, signals, and thread ID setup.

Green
Tier 3

Dynamic linker

PT_INTERP, file-backed mmap, and real dynamic workloads.

Green
Tier 4

chroot + Alpine rootfs

Real rootfs, dirfd-relative calls, and apk package install/run.

Green
Tier 5

Alpine init

OpenRC sysinit → boot → default completes and real apk info works. Physical-console getty-to-login proof remains.

In progress
Evidence trail

Seven recent changes

The complete chronological record is collapsed underneath.

2026-08-15

JefeRust 1.0.0 released

The Rust kernel completed its frozen 55-line parity contract and exact-revision release gates, with the disclosed bot-soak waiver and GUI runtime boundary.

2026-08-01

C++ test evidence made able to fail

Smoke and syscall suites now fail closed when VM transport is unavailable.

2026-07-29

JefeOS 1.1.2 released

A real Node workload exposed a user/kernel boundary bug in getdents64; the fixed path is SMAP-safe and regression-tested.

2026-07-19

JefeOS 1.1.0 released

Xylem workload supervision can snapshot, reap, and respawn a wedged process group without rebooting the VM.

2026-06-28

Native syscall user-pointer crash class closed

Fault-survivable copy boundaries now cover the native INT 0x80 path as well as the Linux ABI.

2026-06-27

CPython threading runs clean

Spawn/join, thread-local state, cross-thread events, and logging run on clone plus futex.

2026-06-27

Shell usability work landed across both kernels

Expanded man pages and command suggestions reached both shell implementations.

Older milestone archive all remaining dated entries
Inspect the details

Full implementation ledgers

Nothing was discarded. Open a ledger when you need the long-form evidence, then narrow it by text, state, kernel, or category.

C++ feature catalog 130 tracked lines · collapsed by default

C++ / Rust parity ledger current master comparison · collapsed by default

JefeRust 1.0 proved its frozen 55-line baseline. This broader table includes later C++ work; those rows are not retroactive 1.0 release failures. “Compiled; 1.0 untested” means exactly that for the experimental GUI path.

FeatureJefeOS C++JefeRust
Shipped-change ledger full undated catalog · collapsed by default
Native clustering

Xylem has working roots, not a finished canopy

Both kernels run membership and failure detection. C++ now has Service objects, local reconcile, same-vessel workload supervision, and a stateless deterministic-primary failover primitive. Fenced production workload failover, Rust service parity, migration, and durable state remain open.

Read the Xylem design and evidence →
Top ↑