作品展示
已上线
开发工具
SlopOS
三个内核极客加海量 AI token 攒出来的操作系统：从零写内核、驱动和桌面，还真在一台联想笔记本上跑起来了。
SlopOS 是一个从零写出来的 x86_64 操作系统，内核、驱动、桌面全是 Rust 写的，作者在官网首页就直说：这是一个由 AI agent 写出来的操作系统。名字叫 slop，但它真的能在一台联想笔记本上开机进桌面。 东西是全套的：抢占式调度、按需分页、信号、终端、文件管理器、系统监视器、图片查看器，自家写的 Intel Xe 显卡驱动点亮屏幕，自家写的 ACPI 解释器找到触摸板，连 TCP 协议栈都是 agent 写的，QEMU 里跑着 3,100 多个测试。 作者对“AI 写的代码能信吗”这件事很较真：所有 unsafe 代码只许待在一个 crate 里，其他 crate 全都禁 unsafe；还用 Verus 形式化验证工具去证明内核里几处关键地方不会内存出错，构建通不过就发不了版。 别当主力系统用：开机前要先转一次“命运轮盘”，转输了就得重启再来（可以关掉）；POSIX 覆盖还不完整，能跑的硬件目前只有一台笔记本加 QEMU。想玩的话按官网五条命令就能在 QEMU 里启动。
@阿灿0
0
2
0