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