-
Boot path (BIOS + UEFI via bootloader crate)
VERIFIED MODULE / boot
-
Serial console & structured boot stages
VERIFIED MODULE / serial
-
CPU identification
VERIFIED MODULE / cpu
-
Physical memory manager
VERIFIED MODULE / memory-physical
-
Virtual memory / paging (kernel + user W^X)
VERIFIED MODULE / memory-virtual
-
Kernel heap allocator
VERIFIED MODULE / heap
-
GDT/IDT, exceptions, PIT timer (via I/O APIC)
VERIFIED MODULE / interrupts
-
Preemptive process scheduler
VERIFIED MODULE / scheduler
-
Timer-driven Ring 3 preemption
VERIFIED MODULE / preemption
-
VFS & embedded initramfs
VERIFIED MODULE / vfs
-
Interactive serial shell
VERIFIED MODULE / shell
-
ELF64 loader (strict validation, W^X)
VERIFIED MODULE / elf-loader
-
Ring 3 execution & privilege isolation
VERIFIED MODULE / ring3
-
Syscall ABI (write/exit/yield/getpid/spawn/wait/msg/gui)
VERIFIED MODULE / syscalls
-
Process lifecycle & crash containment
VERIFIED MODULE / process
-
Per-process page tables & concurrency
VERIFIED MODULE / process-isolation
-
IPC message channels
VERIFIED MODULE / ipc
-
PCI enumeration
VERIFIED MODULE / pci
-
Block-device abstraction (read + write)
VERIFIED MODULE / block
-
NVMe driver (read + write + flush)
VERIFIED MODULE / nvme
-
ITFS persistent filesystem
VERIFIED MODULE / filesystem
-
Framebuffer graphics (back buffer, font, primitives)
VERIFIED MODULE / graphics
-
Window compositor (per-window buffers, ownership isolation)
VERIFIED MODULE / compositor
-
GUI syscalls (validated Ring 3 window rendering)
VERIFIED MODULE / gui-syscalls
-
PS/2 keyboard input (IRQ1)
VERIFIED MODULE / input-keyboard
-
PS/2 mouse input (IRQ12)
VERIFIED MODULE / input-mouse
-
Interactive desktop (live keyboard + mouse)
VERIFIED MODULE / desktop
-
Device/driver model (probe/bind, device table)
VERIFIED MODULE / device-model
-
PCI BAR sizing + capability walking (MSI/MSI-X/PCIe/PM)
VERIFIED MODULE / pci-caps
-
USB UHCI host controller (control transfers, enumeration)
VERIFIED MODULE / usb-uhci
-
USB HID keyboard input (interrupt endpoint)
VERIFIED MODULE / usb-hid
-
Unified input events (PS/2 + USB HID)
VERIFIED MODULE / input-unified
-
AC97 audio output (PCM DMA, samples verified)
VERIFIED MODULE / audio-ac97
-
Userspace device access syscall (least authority)
VERIFIED MODULE / devinfo-syscall
-
Capability model (default deny, no amplification)
VERIFIED MODULE / capabilities
-
Filesystem sandbox (traversal-proof path prefixes)
VERIFIED MODULE / fs-sandbox
-
Service supervisor (ordering, restart policy, diagnostics)
VERIFIED MODULE / services
-
Application manifests + platform launch (least privilege)
VERIFIED MODULE / app-model
-
ITPKG packages (SHA-256 integrity + Ed25519 authenticity)
VERIFIED MODULE / packages
-
Atomic updates + rollback + reboot-proven recovery
VERIFIED MODULE / updates
-
Audit/provenance trail, hash-chained and persistent
VERIFIED MODULE / audit
-
IPv4 networking: e1000, ARP, ICMP, UDP, DNS
VERIFIED MODULE / net-stack
-
Capability-scoped Ring 3 UDP sockets
VERIFIED MODULE / net-sockets
-
TCP streams from Ring 3 (retransmission, verified against the host TCP stack)
VERIFIED MODULE / net-tcp
-
DHCP client (lease applied, verified against QEMU)
VERIFIED MODULE / net-dhcp
-
Capability-scoped userspace filesystem writes (atomic)
VERIFIED MODULE / fs-write
-
SMEP/SMAP/UMIP, W^X, stack guard, pointer validation
VERIFIED MODULE / hardening
-
USB xHCI host controller (enumeration + HID)
VERIFIED MODULE / usb-xhci
-
Local APIC + I/O APIC line routing (8259 PIC retired) + MSI-X
VERIFIED MODULE / irq-apic
-
Second block-device backend (AHCI/virtio)
PLANNED MODULE / storage-second-driver
-
QEMU boot/regression harness (serial + monitor + audio/USB)
VERIFIED MODULE / test-harness
-
Ed25519 package signatures + trusted-key verification
VERIFIED MODULE / pkg-signing
-
ACPI discovery (RSDP/XSDT/MADT/FADT, validated)
VERIFIED MODULE / acpi
-
ACPI S5 soft power-off
VERIFIED MODULE / power-s5
-
IPv6 foundations (NDP, SLAAC, ICMPv6)
VERIFIED MODULE / net-ipv6
-
Signing-key hierarchy (offline root, scoped certificates, signed revocation)
VERIFIED MODULE / pkg-keys
-
Reproducible, checksummed public boot images
VERIFIED MODULE / release-artifact
-
Program arguments for Ring 3 programs (V0.10)
VERIFIED MODULE / proc-args
-
ITFS space reclamation, no format change (V0.10)
VERIFIED MODULE / fs-reclaim
-
Guard pages for kernel task stacks (V0.10)
VERIFIED MODULE / task-stack-guards
-
Always-on co-scheduling at audited safe points (V0.10)
VERIFIED MODULE / always-on-sched
-
Process tree: parent-only wait, wait_nohang, sleep, orphans, ps/kill (V0.10)
VERIFIED MODULE / process-tree
-
/sbin/init as pid 1 from /etc/init.conf, restarted by the kernel (V0.10)
VERIFIED MODULE / userspace-init
-
Kernel service table fed by kernel-checked supervisor reports (V0.10)
VERIFIED MODULE / svc-report
-
Ring 3 shell with the console’s input (V0.10)
VERIFIED MODULE / ring3-shell
-
Ring 3 desktop apps with click-to-focus and routed input (V0.10)
VERIFIED MODULE / desktop-apps
-
Kernel copies refuse user memory the program cannot write (V0.10)
VERIFIED MODULE / user-copy-hardening
-
Audit trail and package store kernel-owned, echoes escaped, a stored trail that verifies across boots (V0.11)
VERIFIED MODULE / audit-integrity
-
Approved read-only system view, console-granted only (V0.11)
VERIFIED MODULE / sys-view
-
Pinned diagnostic model, trained at build time from synthetic scenarios (V0.11)
VERIFIED MODULE / diag-model
-
Ring 3 inference service (inferd) outside the kernel (V0.11)
VERIFIED MODULE / inference-service
-
Diagnostic agent with runbooks and no authority to act (V0.11)
VERIFIED MODULE / diag-agent
-
Kernel-checked proposals; approve and deny only at the console (V0.11)
VERIFIED MODULE / proposals
-
Approved actions executed, verified and rolled back by the kernel (V0.11)
VERIFIED MODULE / verified-actions
-
Ring 3 output cannot drive the operator’s terminal (V0.11)
VERIFIED MODULE / output-escaping
-
IPC authority scoped to named channels (V1.0)
VERIFIED MODULE / ipc-scoping
-
Ring 3 syscall fuzzer — no sequence crashes or hangs the kernel (V1.0)
VERIFIED MODULE / sysfuzz
-
Every untrusted-byte decoder mutation-fuzzed (V1.0)
VERIFIED MODULE / decoder-fuzz
-
Every CPU exception from Ring 3 contained; user FPU off (V1.0)
VERIFIED MODULE / cpu-containment
-
Long use leaks nothing in the kernels own accounting (V1.0)
VERIFIED MODULE / soak-leak
-
Whole-attack-surface adversarial review, findings verified and fixed (V1.0)
VERIFIED MODULE / attack-surface-review