Design Phases

Real PDX-based VFS on lock-free foundation. Standalone sexfiles server PD. Real block I/O dispatch to sexdrive. Minimal ramfs using Phase-7 lock-free buddy allocator. POSIX syscall bridge in sexc for VFS operations.

Standalone sexnet server PD for networking and remote proxy. Remote PDX routing via cluster fabric capabilities. Zero-copy packet transfer via lent-memory. Translucent network-local capability transparency.

ARM64 Design (Raspberry Pi 5). DDE-Sex Shim (Linux/BSD sexdrive lifting). NVIDIA 3070 GPU PD (Nouveau-lifted skeleton). Pi 5 Peripheral support design. Standalone sexdrive server PD. Pure PDX hardware dispatch and MSI-X interrupt routing. Zero-copy DMA via lent-memory capabilities.

Background trampoline thread per PD with FLSCHED::park. Zero busy-wait signal dequeuing from control ring. Full POSIX sigaction ABI (siginfo_t, ucontext_t) on dedicated stack. Lock-free signal state management (RCU-style).

Lock-free Buddy Allocator (4 KiB / 2 MiB / 1 GiB sharding). Hardware-enforced PKU domain management. Asynchronous #PF forwarding to standalone sext server. Demand paging via lent-memory capabilities.

Kernel ELF loader: Segment parsing and buddy-allocator mapping (Lock-Free). PD creation: Pure PDX-based ELF loading and initial capability grants via RCU Table. sys_spawn_pd: Fully asynchronous spawn path.

Production-grade NVMe/AHCI driver in standalone PD. Zero-copy DMA via Lent-Memory capabilities. MSI-X interrupt routing to driver SPSC rings. Polished Input stack (PS/2 + USB HID) with TTY routing. sexfiles real block I/O dispatch integration.

Standalone sexdisplay server PD for framebuffer/GPU management. HID event routing from sexinput to sexdisplay via PDX. Zero-copy graphical command buffers via lent-memory. User-space Mesa/wlroots compatibility layer bootstrap.

Wayland Architecture on SASOS

• Wayland IPC (AF_UNIX + FD Passing): Emulated in sexc using PDX primitives. FD passing mapped directly to Capability Passing.
• Shared Memory (Wayland-SHM): Implemented via SHM sext using Memory Lending.
• sexinput Handling: libinput lifted via DDE-Sex into sexinput PD, pushing events into ring buffers.

Full POSIX pipe(), fork(), and execve() support via PDX. Pipes as lent-memory ring buffers. Coreutils (ash, ls, cat, grep) running as real isolated PDs. End-to-end signal delivery within pipelines. Lin-Sex (Linux Binary Compatibility). Multi-Filesystem support (Ext4, Btrfs, FAT, NTFS). GNU Toolchain integration (GCC/Bash).

Standalone sexnode server PD for translator discovery and loading. On-the-fly binary translation (ELF → Sex native) via PDX. Capability-based translator loading and lent-memory code pages. Distributed node discovery and cross-translator transparent routing.

sex-gemini self-repair agent running as isolated PD. Standalone sexstore PD for package management via PDX. Full build loop: kernel rebuild from source inside Sex. Zero host dependencies for the self-hosted environment. Zero-Nits Polish: replaced hardcoded BAR0, full MSI-X completion, standardized FLSCHED park, eradicated all stubs.

Refined Physical Allocator: Per-core sharded queues and O(1) local allocation. Hardened PKU Domain Init: Runtime WRPKRU validation and isolation invariants. Formal Verification Hooks: Ownership and revocation asserts in Capability system. CHERI Capability Prep: Metadata alignment and safety-critical hardening.