Understand this story
Gregory Kurtzer, one of the founders of CentOS, has announced the open-source kernel project Ginux. According to a 36Kr AI report, the project was generated by Codex, driven by GPT-5.6 Sol, in 11 days through human-led agentic engineering, producing approximately 139,000 lines of code. It is a Rust-based x86-64 kernel that can boot Rocky Linux 10 and run up to systemd's multi-user.target. Ginux is not a fork of the Linux kernel; instead, it implements memory management, the scheduler, the process model, the file system, and networking on its own, and implements the Linux ABI to directly run unmodified Linux binaries. The project has accumulated 1,037 commits, 261 tracked files, and 63 Rust source files, with API call costs of about $8,000, and the code is hosted on GitHub under the Apache 2.0 license. cnBeta reports that, using the x86-64 interface of Linux 6.12 as a reference, of 375 system calls only 82 are fully implemented, 245 are partially usable, and 48 are unavailable. It currently runs only in QEMU virtual machines and does not yet support booting on physical hardware, GPUs, or NVMe, nor has it undergone an independent security audit. In a technical report, Kurtzer stated that AI can already generate complex system software, but compatibility, security, hardware support, standards, community, and long-term maintenance remain the true moats.
AI-generated from public reports
Latest development · Report
CentOS founder writes 139,000-line Ginux kernel in 11 days with Codex, capable of booting Rocky Linux 10Developments
1 confirmed developments
- Source:36Kr · AI
Reports and discussion timeline
Browse reports and discussion by time. Their evidence levels remain distinct.
Nov 3
36Kr · AISelected
CentOS founder writes 139,000-line Ginux kernel in 11 days with Codex, capable of booting Rocky Linux 10
Gregory Kurtzer, one of the founders of CentOS, announced that Codex, powered by GPT-5.6 Sol, wrote approximately 139,000 lines of code in 11 days through human-led agentic engineering, producing Ginux, a primarily Rust-based x86-64 kernel that can boot Rocky Linux 10 and run up to systemd's multi-user.target. Ginux is not a fork of the Linux kernel; instead, it independently implements memory management, the scheduler, the process model, file systems, and networking, and implements the Linux ABI to directly run unmodified Linux binaries. The project has accumulated 1,037 commits, 261 tracked files, and 63 Rust source files, with API call costs of about $8,000, and the code is hosted on GitHub under the Apache 2.0 license. In a technical report, Kurtzer stated that AI can already generate complex system software, but compatibility, security, hardware support, standards, community, and long-term maintenance remain the true moats.
cnBeta
CentOS Co-Founder Used GPT-5.6 Sol to Drive Codex to Write the Rust Kernel Ginux in 11 Days
CentOS co-founder Gregory Kurtzer has announced a new kernel project, Ginux, in which memory management, process scheduling, file systems, and networking are all written from scratch in Rust, and existing programs can run without modification by emulating the Linux ABI. The project is driven by a continuously running OpenAI Codex task using GPT-5.6 Sol, which generated approximately 139,000 lines of code and test content and completed more than 1,000 commits within 11 days. Using the x86-64 interface of Linux 6.12 as a reference, of 375 system calls only 82 are fully implemented, 245 are partially available, and 48 are unavailable; it currently runs only in QEMU virtual machines, does not yet support booting on physical hardware, GPUs, or NVMe, and has not undergone an independent security audit.
cnBetaRelated discussion
cnBeta joined this discussion
This post contributes to heat; it is not a formal report or confirmed fact.
TechSpotRelated discussion
TechSpot joined this discussion
This post contributes to heat; it is not a formal report or confirmed fact.
Heat trend for this story
- Current
- 22
- Period peak
- 28 Nov 3 22:00
- 24-hour change
- —
Move the pointer or select the chart to inspect hourly heat. Use the left and right arrow keys with a keyboard.