Linux内核也能造了?Codex 11天写出13.9万行新内核,Rocky Linux 10跑起来

作者:技王数据恢复实验室 发布日期:2026-11-05 09:03:06

Linux内核也能造了?Codex 11天写出13.9万行新内核,Rocky Linux 10跑起来了(1)
Linux内核也能造了?Codex 11天写出13.9万行新内核,Rocky Linux 10跑起来了(1)

2026年10月27日,Rocky Linux创始人Gregory Kurtzer在X平台宣布,他利用“人类主导的智能体工程”(HDAE)模式,在11天内指导AI模型Codex(基于GPT-5.6 Sol)编写了约13.9万行代码,成功构建出一款名为Ginux的全新Linux兼容内核,并实现了Rocky Linux 10的启动与运行。

技王数据恢复

Ginux是一个独立开发的x86-64架构内核,完全使用Rust语言编写,并非从Linux内核分叉而来。它拥有独立的内存管理、调度器、进程模型、文件系统及网络支持,并实现了Linux ABI(二进制接口),使得现有的Linux二进制程序无需修改即可在其上运行。 技王数据恢复

该项目的主要特点包括: www.fixhdd.cn

  • 开发模式:采用HDAE模式,由人类专家设定架构、约束和验收标准,AI负责具体实现与构建。
  • 运行能力:Ginux可通过UEFI直接启动(生成GINUX.EFI镜像),无需依赖Linux宿主内核。它能够启动Rocky Linux 10并运行至systemd的multi-user.target状态,部分Alpine Linux程序(如musl和BusyBox)也可运行。
  • 隔离机制:支持彼此隔离的“域”(domain),每个域拥有独立的进程、地址空间和文件系统,其隔离边界强于OCI容器或Linux命名空间。
  • 性能表现:在Apple Silicon Mac虚拟机(1核2GB内存)环境下,Ginux启动至登录状态耗时12.9秒,比Linux内核的42.6秒快约3.3倍(注:此速度优势部分源于文件系统缓存)。在sysbench基准测试中,Ginux的性能与Linux内核差距在个位数到十几个百分点之间。
  • 成本与开源:项目API调用费约为8000美元,代码采用Apache 2.0许可证托管于GitHub。

Kurtzer指出,虽然AI能够生成复杂的系统软件,但兼容性、安全性、硬件支持、标准、社区和长期维护依然构成真正的护城河。Ginux目前尚无可比的硬件矩阵、标准组织或社区,其长期稳定性和广泛适用性仍有待验证。 www.fixhdd.cn

Linux内核也能造了?Codex 11天写出13.9万行新内核,Rocky Linux 10跑起来了(2)
Linux内核也能造了?Codex 11天写出13.9万行新内核,Rocky Linux 10跑起来了(2)

如需了解数据恢复服务,可联系技王数据恢复全国技术咨询电话及微信:18857148111。联系页面:https://www.sosit.com.cn/contactus。服务流程:https://www.sosit.com.cn/datarecovery/flow。

www.fixhdd.cn

技术审核:邓严军|技王数据恢复实验室技术总监

技王数据恢复


上一篇:同一个模型从 30 分到 95 分:拉开差距的不是模型,是 Harness

下一篇:如何把目标定得更大胆:写给 AI 使用者的实践指南

热门阅读

你丢失数据了吗!

我们有能力从各种数字存储设备中恢复您的数据

Scroll to Top