11天，13.9万行？

CentOS和Rocky Linux创始人Gregory Kurtzer公布了个新东西：Ginux。一个主要用Rust写的实验性操作系统内核。最扎眼的是，它靠AI辅助，11天就搞出来了。不是Linux发行版，也不依赖Linux内核，却想跑现有Linux用户空间程序。

人定架构，AI写代码

Kurtzer管这叫Human-Directed Agentic Engineering。人负责架构、需求、约束和验收标准。AI编码代理负责实现、测试、调试和修订。一个持续运行的OpenAI Codex任务，用GPT-5.6 Sol模型，在11天里产出约139,000行保留的实现和测试代码。

内核该有的，它都有？⚙️

内存管理、任务调度、进程模型、虚拟文件系统、网络栈、设备支持、Linux ABI兼容层，全都在。目标平台x86-64，直接走UEFI启动，不需要底层Linux内核。这野心不小。

真能跑Linux程序？

原型能跑未修改的Alpine Linux应用，靠musl和BusyBox；也能跑用glibc的Rocky Linux程序。甚至能启动Rocky Linux 10用户空间，让systemd跑到multi-user.target阶段。听着挺唬人，但别急。

375个系统调用，全覆盖了吗？

Ginux覆盖Linux 6.12 x86-64接口的375个系统调用。82个完全实现，245个部分实现，48个故意拒绝。嗯，离完整还差得远。

域隔离 + OCI镜像

架构上，Ginux把工作负载放进叫“域”的隔离环境。每个域有自己的进程、地址空间、文件系统、挂载、能力和生命周期。它还能拉取和组装OCI容器镜像，用这些镜像提供Linux用户空间环境，执行和隔离交给Ginux自己。

一个EFI文件，控制器在用户空间 ️

内核、嵌入式管理控制器、必要启动组件，打包成单个GINUX.EFI镜像。控制器跑在用户空间，不是内核空间，管配置、设备、网络和域操作。这个设计有点意思。

现在只能玩虚拟机？

开发和测试主要面向QEMU/KVM虚拟机：x86-64 Q35配置、OVMF固件、Intel IOMMU、virtio设备。仓库里也记录了在Apple Silicon上通过QEMU模拟模式执行。硬件支持？有限。

别误会，它还不是生产系统 ⚠️

Kurtzer说得很清楚：Ginux仍是研究原型，不是生产就绪的操作系统。Linux ABI覆盖不完整，硬件支持有限。网络、文件系统功能、资源强制执行、安全，都还需要大量开发。别看到“11天”就上头。

这实验到底图啥？

主要目的是评估：有经验的开发者指导，加上可执行测试支持，AI编码代理能不能快速实现复杂系统软件？Ginux用Apache 2.0开源，代码在GitHub，研究报告也能查。11天造内核，是噱头还是新范式？值得盯着看。

#Linux##centos##ai#