11天手搓13.9万行Rust代码:CentOS创始人如何用AI打造独立操作系统内核Ginux
写一个能接管电脑硬件的操作系统内核,正常需要多少人、干多少年? 几十个顶尖系统工程师,泡在寄存器和汇编代码里死磕两三年,可能才勉强把系统跑起来。 CentOS 和 Rocky Linux 的创始人,只带了一个 AI 智能体,花了整整 11 天。 11 天时间,写出了将近 13.9 万行 Rust 代码。 不仅写完了,这个叫 Ginux 的新内核,已经能在虚拟机里顺畅启动 Rocky Linux 10,连最复杂的 systemd 都稳稳跑到了多用户模式。 听到这个消息,很多人第一反应可能是:这不就是把老 Linux 内核扒下来魔改了一下? 还真不是。 Ginux 完全脱离了 Linux 源码树,一行 Linux 内核的 C 语言源码都没抄。 它是用 Rust 语言从零写出来的全新内核。 它有自己专门的内存管理、独立的进程调度器、全新的虚拟文件系统,连网络协议栈和设备驱动都是从头搭建的。 那它凭什么能跑 Rocky Linux 呢? 关键就在于它做了一层完整的 Linux 应用程序二进制接口,也就是 ABI 兼容。 打个比方,这就好比把一辆燃油车底盘下的发动机、变速箱和传动轴全部拆光,换成了一套全新的电驱动力总成。 但驾驶室里的方向盘、油门踏板、刹车和仪表盘接线,位置和协议完全保持原样。 上层的操作系统软件和应用程序压根感觉不到底层的剧变。 Rocky Linux 以为自己还在跟熟悉的系统内核打交道,底下真正掌管内存和进程的,已经是这套全新的 Rust 架构了。 懂行的人都知道,写操作系统最折磨人的地方,不在于要堆多少代码,在于整个开发环境极其残酷的反馈周期。 在平时的应用层写代码,程序崩溃了,操作系统会给你弹个报错窗口,吐出完整的调用栈,明确告诉你第几行数组越界。 但在最底层的内核空间里,在内存分页和中断向量表跑通之前,没有任何保护机制。 你的内存页表只要少配一个标志位,或者寄存器地址算错了一个偏移量,CPU 根本不会给你报任何错误。 它会瞬间触发三重故障。 屏幕直接黑屏,整台机器当场死机或者陷入无限重启。 连一个字节的报错字符都吐不出来。 过去内核工程师的大量生命,就耗在这种沉默的折磨里: 改几行底层代码,编译,打包镜像,重启测试,黑屏卡死,连上串口调试线,盯着十六进制的内存转储看上大半天。 找出那个算错的比特,改掉,再来一次。 这种高摩擦的调试循环,会迅速耗尽人类工程师的精力和耐心。 格雷戈里·库策这次换了一个全新的打法。 他没有在对话框里让大模型凭空写一个操作系统,那样只会生成一堆看似合理但根本跑不起来的幻觉。 他搭了一套高度自动化的闭环验证流水线。 库策自己充当总架构师。 他定死了 x86-64 的架构约束、内存分页布局、虚拟化硬件规范,以及每一阶段可执行的硬性验收指标。 具体的编码、调试和修代码,全部交给基于 GPT 5.6 Sol 的 OpenAI Codex 智能体去跑。 智能体在本地写完一段 Rust 内核代码,立即触发编译,打包成统一的引导镜像,直接丢进无头虚拟机里启动。 一旦内核崩溃卡死,流水线自动捕获虚拟串口吐出的寄存器状态和恐慌日志,立刻喂回给智能体。 智能体读懂寄存器状态,推导出哪一段内存映射出了差错,当场修改代码,几秒钟后重新开机验证。 机器不会疲惫,不需要睡觉,更不会被黑屏挫伤士气。 它可以在一个小时里把写代码、编译、开机、抓日志、修复的闭环循环跑上几十次。 人类专家负责把控系统方向、制定严密规则、守住每一道验收大门。 AI 智能体负责以机器的时钟频率在底层疯狂排雷。 11 天时间,将近 13.9 万行内核与测试代码,就这样被一行一行从真实的引导日志里硬生生锤炼了出来。 这并不意味着 Linux 的时代就要画上句号。 库策在开源主页里说得很实在,这目前只是一个概念验证性质的研究原型,离真正的工业级生产环境差得还很远。 Linux 内核经过三十多年的演化,沉淀了 3000 多万行 C 语言代码。 里面填平了无数物理主板、显卡、网卡和异构设备的硬件黑洞,更不用说几十年里在极限高并发下摸索出来的锁优化。 现在的 Ginux 只是在干净的虚拟化环境里,靠虚拟设备驱动把整套流程跑顺了。 一旦要面对现实世界里成千上万种古怪的物理硬件,后面还有极其漫长的苦工要补。 但这件事最耐人寻味的地方,不在于 Ginux 会不会立刻取代 Linux。 它把底层系统软件开发的门槛逻辑彻底重构了。 过去写一个操作系统内核,门槛是庞大的人力工时,你需要一支精锐团队耗费几年去搬运底层代码。 现在,编写低级代码和排查无声崩溃的执行成本被狠狠打了下来。 真正的分水岭重新回到了最初的起点: 你脑子里是不是真的清楚一个操作系统的宏观拓扑? 你懂不懂怎么给机器设定严密、闭环、可执行的验收边界? 当一个顶尖架构师拥有了不知疲倦的代码验证闭环,系统软件研发的游戏规则,已经完全变了。
同领域解读 / SOFTWARE & ENGINEERING
规范引用 / CANONICAL CITATION
11天手搓13.9万行Rust代码:CentOS创始人如何用AI打造独立操作系统内核Ginux — 墓碑科技 MUBEITECH(https://mubeitech.com/deep/mb-20261029-22fe45)
导出 / EXPORT
订阅 · SUBSCRIBE
每周一封独立、不受审查的科技与 AI 深度评论,周一发出。带出处,可核查。