SlopOS
Architecture, ABI, verification, and developer documentation for SlopOS
What is SlopOS?
AI agents wrote SlopOS, an x86_64 operating system built from scratch in
Rust. The name owns what that usually produces. An agent will tell you its
code is correct, which is worth nothing, so the build proves it instead: one
crate, slopos-ostd, holds every line of unsafe, and Verus checks the
invariants underneath it. It boots under QEMU and on a real laptop.
Quickstart
Install the host tools, build an ISO, and boot it under QEMU
Architecture
How boot, memory, scheduling, drivers and the network fit together
ABI Reference
Syscall families, SlopRing, KTAP and the window protocol
Source
Browse the source tree on GitHub
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 pages say what works today, which parts we made strange on purpose, and which details belong to development notes.