7.2
深览指数
科技虎嗅·极客邦科技InfoQ··AI 生成
Linux内核也能造了？Codex11天写出13.9万行新内核，Rocky Linux10跑起来了
CentOS 创始人 Gregory Kurtzer 用单个 Codex 任务、11 天、约 13.9 万行 Rust 代码，从零写出 Linux ABI 兼容内核 Ginux，能启动 Rocky Linux 10 并跑到 systemd multi-user.target，sysbench 跑分与 Linux 差距在个位数到十几个百分点。作者强调核心结论不是「AI 能写内核」，而是兼容性、硬件矩阵、标准与社区才是真护城河，HDAE 模式里领域专家负责架构与验收关卡才是关键。适合关注 AI 编码能力边界与基础软件工程的读者。原文 ↗
核心观点
- ▍AI 已能生成系统栈深处的复杂软件，但兼容性、硬件支持、标准、社区与长期维护才是基础设施真正的护城河，代码本身不是。
- ▍「人类主导的智能体工程」（HDAE）比放任多智能体或氛围编程走得更远：人类领域专家负责愿景、架构、验收关卡，智能体负责实现与回归测试。
- 01Ginux 是独立开发的 Rust 为主 x86-64 内核，非 Linux 分叉，实现了 Linux ABI，使未修改的 Linux 二进制程序可直接运行。
- 02项目在单个持续运行的 Codex 任务中用 GPT-5.6 Sol 完成，11 天留下约 13.9 万行代码、1037 次提交、63 个 Rust 源文件，API 费用约 8000 美元，Apache 2.0 开源。
- 03Ginux 以 GINUX.EFI 镜像通过 UEFI 直接启动，不依赖 Linux 宿主内核；实现了自有「域」隔离，并称其隔离边界强于 OCI 容器或 Linux 命名空间。
- 04验收关卡选 systemd：它能启动 Rocky Linux 10 并跑到 multi-user.target，部分 Alpine 程序（musl、BusyBox）也可运行。
- 05性能对比在同一虚拟化条件下（1 核、2 GiB 内存、Apple Silicon Mac）：Ginux 启动到可登录 12.9 秒，Linux 内核 42.6 秒；sysbench 三项跑分 CPU 和线程略高、内存略低，差距个位数到十几个百分点。
- 06参照对象是 Anthropic 的 Nicholas Carlini 用 16 个并行 Claude 智能体、约 2000 个会话、约 2 万美元产出约 10 万行 Rust 的 C 编译器；内核的验收难度更高，因为要从零搭出可运行未修改 Linux 用户空间程序的系统。
反方 / 局限
- — 启动速度 3.3 倍的优势被作者主动注明不可直接比：Ginux 启动时不用再加载内核，文件系统也是现成缓存的。
- — 作者承认 Ginux 尚无硬件矩阵、标准组织或社区，无法承诺今天跑的程序明天还能跑；性能测试仅在单核 2 GiB 虚拟化条件下进行，样本规模有限。
- — Kurtzer 刻意关掉 IDE，不亲手改不满意的代码，靠设关卡把智能体拉回正轨——这暗示方法论高度依赖操作者的领域判断力，可复制性未被验证。
Gregory KurtzerGinuxCodexGPT-5.6 SolRocky LinuxCentOSHDAE（人类主导的智能体工程）Nicholas CarliniAnthropicsystemdLinux ABIOCI 容器镜像
10 分钟 · 5 卡片 · 9 资料
读原文 →