The creator of CentOS and Rocky Linux built a new OS kernel with AI in just 11 days.
This is a dev post classified by AGK Intelligence as AI dev tools (a tool drop), kept by the Dev Radar because it carries real work, not commentary.
The creator of CentOS and Rocky Linux built a new OS kernel with AI in just 11 days. It’s called Ginux, and it can already run selected Linux programs without the Linux kernel underneath. Gregory Kurtzer guided the design while Codex wrote and tested around 139,000 lines of code. Written mainly in Rust, Ginux has its own memory management, scheduler and networking. It even boots Rocky Linux 10 with systemd in a virtual machine. It’s still an experimental prototype, with incomplete compatibility and hardware support. The code is open source under Apache 2.0. Eleven days to get this far. No
Posted by Ayaan 🐧 (12.8k followers) 1 days ago · 1.1k likes · 178.9k views · view the original post on X. Kept by the Dev Radar as AI dev tools. Tools mentioned: ginux.
More dev work like this
- 🎃Dario给中国人民带来的极致恐怖从Claude无情封号开始 — @NFT_Chen
- Mia's Qwen3.8-Flash-Next recipe on a DGX Spark: one command, first try, 2 min to the… — @niklaslenz_ai
- 给AI喂一整仓，最烦的就是它每回都从头翻文件，这毛病你多半也遇到过。 — @bkdgiffug
- Coding agents aren't slow because they're dumb. They're slow because every edit waits on… — @RunAnywhereAI
- ICYMI: Foursquare co-founder @dens sat down with our Head of Product, AI, Jeff Smith at… — @automattic
- 🤯惊了！9B参数大模型，只需16G内存即可本地跑通，能力反超Qwen3.5-27B！ — @NFT_Chen
- Introducing JetSpec++: we find causal parallel drafting paired with hidden states… — @haoailab
- Build the agent, test the agent, grade the results, change the agent, run the test cases… — @rseroter
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.