JEFEOS_SMP=0; Rust's SMP feature is also off by default. fork fails closed if SMP is enabled.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.
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.
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.
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.Lower-priority issue ledger
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.
musl-static utilities
Static binaries and basic process startup.
Greenglibc-static
Full libc startup, TLS canary, brk, signals, and thread ID setup.
GreenDynamic linker
PT_INTERP, file-backed mmap, and real dynamic workloads.
Greenchroot + Alpine rootfs
Real rootfs, dirfd-relative calls, and apk package install/run.
GreenAlpine init
OpenRC sysinit → boot → default completes and real apk info works. Physical-console getty-to-login proof remains.
Seven recent changes
The complete chronological record is collapsed underneath.
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.
C++ test evidence made able to fail
Smoke and syscall suites now fail closed when VM transport is unavailable.
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.
JefeOS 1.1.0 released
Xylem workload supervision can snapshot, reap, and respawn a wedged process group without rebooting the VM.
Native syscall user-pointer crash class closed
Fault-survivable copy boundaries now cover the native INT 0x80 path as well as the Linux ABI.
CPython threading runs clean
Spawn/join, thread-local state, cross-thread events, and logging run on clone plus futex.
Shell usability work landed across both kernels
Expanded man pages and command suggestions reached both shell implementations.
Older milestone archive
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
C++ / Rust parity ledger
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.
| Feature | JefeOS C++ | JefeRust |
|---|