GregoryKurtzer11天用Codex写出13.9万行Rust内核Ginux，兼容LinuxABI并启动RockyLinux10

2026年10月27日，Linux社区迎来一次罕见的技术突破：Gregory Kurtzer——CentOS联合创始人、Rocky Linux项目发起人——在X平台宣布，他仅用11天时间，借助AI智能体辅助，完成了约13.9万行代码的新一代操作系统内核Ginux。这款内核并非基于Linux源码分叉，而是从零构建的独立系统，采用Rust语言为主，支持x86-64架构，并能完整启动Rocky Linux 10发行版及核心服务systemd。

Ginux的核心价值在于其“兼容但独立”的设计哲学：它不复用Linux内核任何代码，却严格实现了Linux二进制接口（ABI），使得未经修改的Linux用户态程序可直接运行于其上。这意味着，现有大量软件生态无需重编译即可迁移，为操作系统层面的创新提供了现实可行路径。

Kurtzer将该项目定义为“人类主导的智能体工程”（Human-Directed Agentic Engineering, HDAE）。整个开发过程几乎全部在一个持续运行的Codex任务中完成，使用的是GPT-5.6 Sol模型。但关键在于人的角色定位：Kurtzer本人负责设定整体架构、系统约束、验收标准与最终决策；Codex则承担具体实现、构建验证与故障分析等执行环节。他在技术报告中明确指出：“作者负责设定架构、系统操作、解读结果，并作出最终验收决定。”

这一模式与此前Anthropic团队用16个Claude智能体构建C编译器的实验形成对照。后者耗时近2000个会话、约2万美元，产出约10万行Rust代码，虽能编译大量软件（包括部分Linux内核构建流程），但其输出可通过编译器测试套件直接验证。而Ginux面临的挑战更复杂：一个内核是否可用，不能仅靠静态检查，必须通过动态运行来检验——能否启动systemd？能否加载用户空间进程？能否支撑完整的发行版工作负载？

为此，Kurtzer设定了清晰的三重目标：能力上，验证HDAE能否产出可运行的独立内核；方法上，厘清持续开发所需的文档体系、引导机制与反馈闭环；结果上，评估系统的兼容性、稳定性与性能边界。他强调，领域专家的知识是项目成功的前提：“需要领域知识来选择Linux用户空间契约、区分OCI传输与运行时隔离、识别损坏的fork/exec行为、定义域所有权、解读systemd故障，并判断看似可信的输出是否符合预期。”

在具体实施中，Kurtzer刻意限制自身干预：他关闭了IDE，避免亲手修改代码，迫使自己仅通过指令调整引导AI。“我甚至关掉了IDE，强迫自己别打开。这样AI做错时，我就只能给它新的指引；很多时候，它会把写错的代码删掉。”他解释道。当被问及如何纠正偏航时，他的回答简洁有力：“关卡设得多。”——即通过密集的阶段性验收点（如“能否挂载ext4文件系统”“能否响应SIGCHLD信号”“能否完成容器命名空间初始化”）构成强约束，防止AI生成表面合理但语义错误的代码。

值得注意的是，systemd被选为关键验收关卡，因其高度依赖底层系统组件（如cgroup、namespace、procfs、信号处理、设备树等），且对环境异常极为敏感。Ginux为此优先实现了“域”（domain）抽象，再逐步支持容器化运行时，最终达成systemd的平稳启动。

Ginux的模块化结构覆盖内存管理、调度器、进程模型、VFS层、网络栈与基础设备驱动，全部从零编写。其Rust主导的设计带来内存安全优势，但同时也面临与C生态互操作的挑战——例如，内核中仍需少量FFI桥接C ABI，以及对GCC/Clang工具链的适配。目前Ginux尚未开源，但Kurtzer已发布技术白皮书，详细说明了HDAE方法论与实现细节。

这一进展发生于AI系统级编程能力快速演进的背景下。就在数周前，Anthropic的Claude模型被曝发现并利用了一个潜伏11年的Linux内核高危漏洞（CVE-2026-98432，CVSS 9.8），该漏洞源于2015年引入的IPv4 TCP握手UAF缺陷，攻击者可远程获取Root权限。Claude不仅定位了问题，还自动生成了两阶段利用代码：第一阶段48分钟绕过KASLR，第二阶段5分钟提权，全程失败不崩溃、可反复尝试。上游内核已于10月15日修复，但Ubuntu多个LTS版本截至11月1日仍未发布补丁，暴露面仍在扩大。

这两起事件共同指向一个趋势：AI正从“辅助编码”迈向“系统级创造与攻防”。过去认为“AI无法构建操作系统”的共识正在松动。Kurtzer的实践表明，在领域专家深度参与下，智能体工程可高效完成传统需数年、数十人协作的内核级项目；而Claude的漏洞挖掘与利用则揭示，AI同样具备逆向拆解复杂系统的潜力。

区别在于目标导向：Ginux追求建设性创新，强调可控性与可验证性；而漏洞利用体现的是破坏性能力，依赖对系统边界的精准试探。两者都依赖高质量的反馈循环——前者靠人类设定关卡，后者靠自动化测试与沙箱验证。

从产业视角看，Ginux暂无替代Linux的意图，而是探索操作系统演进的另一条路径。其意义不在于立即商用，而在于验证一种新范式：当架构师明确界定“什么必须正确”“什么可容错”“如何衡量进展”后，AI可成为高效的执行引擎。这对嵌入式系统、安全关键型OS（如车规级、航天级）的快速原型开发具有启发价值。

Kurtzer本人表示，Ginux后续将开放部分模块供社区审查，并计划支持ARM64架构。他亦提醒：“没有引导的‘氛围编程’不适合这个项目。”——这句总结，或许将成为未来系统级AI工程的重要箴言。