SlopOS
Public architecture, ABI, verification, and developer documentation for SlopOS
What is SlopOS?
SlopOS is a from-scratch x86_64 operating system authored by AI. The Wheel of Fate can decide a boot, the W/L currency system keeps score, and the shell runs on SlopOS's Rust kernel, documented ABI, constrained trusted core, and testable userland stack.
Quickstart
Install the host tools, build an ISO, and boot SlopOS in QEMU
Architecture
Read the current subsystem map and kernel design notes
ABI Reference
Review syscall families, SlopRing, KTAP, and window protocol surfaces
Source
Browse the SlopOS source tree
Current Shape
| Area | Current implementation |
|---|---|
| Boot | Limine + OVMF, Rust boot pipeline, per-CPU GDT/TSS, SYSCALL MSRs |
| Privilege | Ring 0 kernel, Ring 3 user tasks, TSS/RSP0 and per-task syscall stacks |
| Scheduling | Preemptive SMP scheduler, fused task state, WaitQueue/EventBus blocking |
| Memory | OSTD frames, slab and heap, process VM, demand paging, COW, memfd |
| Interrupts | LAPIC, IOAPIC, MSI/MSI-X, HPET clock, LAPIC scheduler timer |
| Storage | VirtIO block, ext2, ramfs, devfs, VFS file operations |
| Networking | VirtIO net, IPv4, ARP, ICMP, UDP, TCP, DNS, AF_UNIX sockets |
| Async edge | SlopRing plus slopos-rt and slopfut in userland |
| Userland | libc layer, shell, compositor, terminal, windowing, appkit |
| Verification | slopos-ostd trusted core, Verus proofs, KernMiri, framekernel gates |
SlopOS has sharp edges. These docs state what works, what is deliberately odd, and which details belong to development notes.
Documentation Map
Getting Started
Host setup, build recipes, QEMU options, and troubleshooting
Verification
Framekernel discipline, trusted core, Verus status, and KernMiri
Development
Guides for extending syscalls, drivers, tests, debugging, and security review
Status
Capability matrix, limitations, hardware requirements, and roadmap links