11天用AI从零打造Linux兼容内核：Ginux诞生记

Mark Do 10 小时前暂无评论阅读 55 次

一个全新内核的诞生

Gregory Kurtzer在Linux圈内早已名声在外。他是CentOS的创始人，在Red Hat”搞砸了”CentOS之后，他创建了Rocky Linux作为社区替代品，并联合创立了CIQ公司，为Rocky提供企业级支持服务。

而他的最新项目与重建发行版无关——他构建了一个全新的操作系统内核，而大部分代码并非出自他的手笔，而是交给了一位AI智能体完成。

什么是Ginux？

这个项目名叫Ginux，是一个独立研发的、以Rust为首选语言的x86-64内核。换句话说，它不是Linux内核的分支。

Ginux拥有自己从头写起的内存管理、调度器、进程模型、文件系统、网络协议栈和硬件设备支持。

Ginux running Rocky Linux

最引人注目的是，尽管它并非Linux内核，却具备Linux兼容性。Ginux实现了完整的Linux ABI（应用程序二进制接口），这意味着现有的Linux可执行程序无需任何修改即可在上面运行。

用项目方的话说：Linux是一个”Ginux暴露出来的个性特征”，而非底层运行的内核。

名字Ginux听起来像是GNU和Linux的组合，但恐怕要让你失望了——这里的G代表的是GPT。Kurtzer在README中开玩笑说，为了控制自己的 ego，GOfficial上写着的是GPT。原因很简单：它由GPT-5.6 Sol完全编码而成。

11天的奇迹

Kurtzer在X平台（原Twitter）上这样宣布：

在11天内，我构建了一个全新的Linux兼容操作系统内核，能够启动带有systemd的Rocky Linux 10，整个过程使用了人类引导的智能体工程（Human-Directed Agentic Engineering，简称HDAE）方法。

Ginux目前能做到什么？

Ginux编译为一个单独的GINUX.EFI镜像，可以直接通过UEFI启动，无需任何Linux宿主内核参与。

它运行着隔离的“域”，每个域拥有独立的进程、地址空间、文件系统和生命周期。项目方称这些隔离边界比OCI容器或Linux命名空间更加严格。

它还支持拉取和验证OCI容器镜像，并用于组装域的最小根文件系统。借助这一机制，成功将Rocky Linux 10一路启动到systemd的multi-user.target阶段。部分Alpine Linux程序（如musl和BusyBox）也能正常运行。

不过先别急着兴奋——目前Ginux只能在QEMU虚拟机中运行，没有物理硬件配置文件，不支持GPU和NVMe，也没有经过独立的安全审计。

Ginux是一个研究原型，采用Apache 2.0许可证发布。它不适用于生产环境，也不能作为Linux的替代品。

什么是”人类引导的智能体工程”？

HDAE是Kurtzer为其开发方法起的名字，而这才是这篇文章真正的核心故事。他已经在Zenodo上发布了详细的技术报告。

其核心理念是明确的分工：人类负责决策——确定架构、设定约束条件、制定里程碑和验收标准，以及判断何时终止；而AI智能体负责执行——编写代码、启动测试、诊断失败、修正迭代，循环往复直至满足可执行的检查标准。

对于Ginux而言，这意味着一个持久的OpenAI Codex任务，在11天里持续运行GPT-5.6 Sol，最终生成了约139,000行保留代码（含实现代码和测试代码），累计提交超过1,000次。架构文档确保智能体始终沿着正确的方向推进，而真实的用户空间（如Rocky Linux）则帮助捕获了合成测试未能发现的bug。

“人类引导”这一点至关重要。这不是简单地在聊天框中输入”帮我写个内核，别出错”就能搞定的事——它是一个拥有数十年系统经验的专家，在引导一个智能体完成繁重的编码工作。