Rocky Linux 创始人用 GPT-5.6 智能体 11 天写出新内核 Ginux

Warp Terminal Gregory Kurtzer对Linux世界并不陌生。他创建了CentOS，当Red Hat把它搞砸后，他又发起了Rocky Linux作为社区替代品。他还联合创立了CIQ，这家公司围绕Rocky提供企业支持。 不过，他最新的项目与重建另一个Linux发行版毫无关系。他构建了一个全新的操作系统内核，而且大部分代码不是他自己写的。是一个AI智能体写的。 来认识Ginux——没有Linux内核的Linux用户空间 这个项目叫Ginux。它是一个独立的、Rust优先的x86-64内核。这简单来说意味着它并非Linux内核的分支。 它有自己的内存管理、调度器、进程模型、文件系统、网络和设备支持，全部从零编写。 最有趣的部分是，尽管它不是Linux，但它兼容Linux。Ginux实现了Linux ABI（编译后的程序用来与内核通信的二进制接口），因此现有的Linux二进制文件可以在它上面未经修改地运行。 用项目自己的话说，Linux是Ginux暴露出来的一种“个性”，而不是底层运行的内核。 现在，Ginux这个名字听起来可能像是GNU和Linux的混合。我不想让你失望，但这里并非如此。 Ginux中的G代表GPT。Greg。Kurtzer在README中开玩笑说，为了把他的自负控制在有限范围内，G官方代表GPT。为什么是GPT？因为它完全由(Chat)GPT 5.6 Sol编写。 以下是Kurtzer在X（前身为Twitter）上发布的消息： 11天内，我构建了一个新的兼容Linux的操作系统内核，它使用systemd启动Rocky Linux 10，全程使用人类指导的智能体工程（HDAE）。 11天内，我构建了一个新的兼容Linux的操作系统内核，它使用systemd启动Rocky Linux 10，全程使用人类指导的智能体工程（HDAE）。 我称它为Ginux。它是一个独立的、Rust优先的x86-64内核（不是Linux分支），拥有自己的内存管理、启动…… —— Gregory M. Kurtzer (@gmkurtzer) 2026年10月27日 Ginux目前能做什么 Ginux构建为单个GINUX.EFI镜像，直接通过UEFI启动，不涉及Linux宿主内核。 它运行隔离的“域”，每个域都有自己的进程、地址空间、文件系统和生命周期。该项目将这些描述为比OCI容器或Linux命名空间更强的边界。 它还可以拉取并验证OCI容器镜像，并用它们来组装域的根文件系统。这就是它让Rocky Linux 10一路启动到systemd的multi-user.target的方式。选定的Alpine Linux程序（如musl和BusyBox）也能运行。 Ginux运行Rocky Linux 不过别太兴奋。目前，Ginux仅在QEMU虚拟机中运行，没有物理硬件配置文件，不支持GPU或NVMe，也没有独立的安全审计。 🚧 Ginux是一个根据Apache 2.0许可证发布的研究原型。它不适用于生产环境，也不作为Linux的替代品。 什么是人类指导的智能体工程？ HDAE是Kurtzer给这种开发方法起的名字，老实说，这才是这里真正的故事。他在Zenodo的一份技术报告中记录了它。 其理念是明确的分工。人类决定架构、约束、里程碑、验收标准以及何时停止。AI智能体运行实现循环：编写代码、启动它、测试它、诊断故障、修改，并针对这些可执行检查重复。 对于Ginux，这意味着一个持续的OpenAI Codex任务运行GPT-5.6 Sol十一天。它产生了大约139,000行保留的实现和测试代码，跨越1,000多次提交。架构文档让智能体保持一致，而像Rocky Linux这样的真实用户空间则捕捉到了合成测试遗漏的缺陷。 “人类指导”这部分很重要。这并不像在聊天机器人里输入“给我写一个内核，别犯错”那么简单。这是一个拥有数十年系统经验的人在引导一个承担繁重编码工作的智能体。 一位专家加上AI可以走得很远 Kurtzer小心翼翼地不过度吹嘘这一AI成就： 更大的教训是，AI可以生成复杂的系统软件，但兼容性、安全性、硬件支持、标准、社区和长期维护仍然是真正的护城河。 我认为这很公平。Linux不会因为一个原型在虚拟机中启动了systemd就消失。数十年的硬件支持、代码审查和社区不是AI智能体在十一天内能产出的。 但让我们退一步，意识到这里发生了什么。一个从零创建的新内核，运行了一个企业级发行版。而且只用了11天，用的是GPT 5.6（甚至不是最新的6.1模型）。 AI不会取代专业知识。一位已经了解内核工作原理的专家使用AI将多年的苦工压缩到几天。 当拥有深厚领域知识的人将其与前沿AI智能体配对时，曾经需要大团队和数年的项目开始看起来像周末副业项目。 Ginux不会取代Linux，但它确实展示了一个熟练的人现在能走多远（以及多快）。 喜欢这篇更新？支持独立的Linux新闻报道 It's FOSS在过去14年里一直在帮助人们使用Linux。帮助我们保持独立于大型科技公司。成为Plus会员，享受无广告阅读并获得5本电子书。 最超值 Plus终身会员 一次付费，永久享受 选择终身