HANDOFF.md — microkernel_0.1_stable

AI Workflow & Token Optimization Rules

• Search Boundaries: NEVER run unconstrained find. Restrict all file ops to the microkernel directory.
• Compression Modes: /caveman ultra for telegraphic output. /caveman wenyan for maximum compression.
• Driver Forge Pipeline: Use c2rust combined with sex-driver-forge agent for legacy C porting.

Architectural Context

• Architecture: x86_64 Higher-Half Microkernel (0xffffffff80000000), SASOS.
• Isolation: 100% Lock-free, hardware-enforced via Intel PKU/MPK.
• Build Stack: Rust Nightly (build-std=core,alloc), custom x86_64-sex.json, Docker sexos-builder:v28.
• Host: M1 Mac using qemu-system-x86_64 -machine q35 -cpu max,+pku.

Phase 28a: The Zero-Copy GUI Handoff

Userland graphics stack deferred until "ship orbital compositor" command. Execution sequence:

1. PDX Message: Kernel packages framebuffer metadata into lock-free MessageType::DisplayPrimaryFramebuffer.
2. Hardware-Enforced Handover: Kernel revokes own write access, uses Intel PKU (pkey_set) to grant exclusive zero-copy access to sexdisplay PD.

Roadmap: COSMIC Compositor Integration

• Backend (Orbital/Orbclient): sexdisplay initializes orbital windowing system on raw memory pointer.
• Frontend (Cosmic Compositor): Cosmic desktop ecosystem adapted to interface with orbclient.

macOS M1/M2 Build Commandments

• Rule 1 — Bootstrap Bypass: RUSTC_BOOTSTRAP=1 required to force -Z build-std.
• Rule 2 — Linker Override: Install lld via Homebrew and inject RUSTFLAGS="-C linker=lld".

export RUSTFLAGS="-C linker=lld"
RUSTC_BOOTSTRAP=1 cargo build --target x86_64-sex.json -Z build-std=core,alloc -p sex-kernel --release

Phase Roadmap