SlopOS
Three kernel nerds and a mountain of AI tokens built an OS from scratch — kernel, drivers, desktop — and it actually boots on a real Lenovo laptop.
SlopOS is an x86_64 operating system written from scratch — kernel, drivers, and desktop all in Rust. The authors say it right on the homepage: this is an operating system written by AI agents. The name says slop, but it genuinely boots to a desktop on a Lenovo laptop. It is the full package: preemptive scheduling, demand paging, signals, a terminal, a file manager, a system monitor, and an image viewer. Their own Intel Xe graphics driver lights up the screen, their own ACPI interpreter finds the touchpad, and even the TCP stack was written by agents. Over 3,100 tests run in QEMU. The authors take the “can you trust AI-written code?” question seriously: all unsafe code is confined to a single crate, and every other crate forbids unsafe entirely. They also use the Verus formal verification tool to prove key parts of the kernel cannot go wrong with memory — if the build does not pass, there is no release. Do not use it as your daily driver: before booting you have to spin a “wheel of fate” — lose the spin and you reboot and try again (you can turn it off). POSIX coverage is still incomplete, and the only hardware it runs on so far is one laptop plus QEMU. To try it, five commands from the website will get it running in QEMU.
@阿灿