@mohammadvazin WIP: ginux#249
1 like · 64 views
"The repository contains the complete bootable system, controller, native services, Linux compatibility implementation, hardware paths, build tools, architecture specifications, and QEMU test harnesses."
Gregory Kurtzer (créateur de CentOS puis de Rocky Linux) vous présente Ginux, un kernel "not linux" développé en 11 jours avec l’IA (via Pierre Arlais).
Ya plus qu'à attendre les CVE !
👉 gmkurtzer/ginux
7 likes · 3 reposts
Gregory Kurtzer (créateur de CentOS puis de Rocky Linux) vous présente Ginux, un kernel "not linux" développé en 11 jours avec l’IA (via Pierre Arlais).
Ya plus qu'à attendre les CVE !
👉 gmkurtzer/ginux t.co
18 likes · 3 reposts · 1,197 views
Linux(ish) without the Linux kernel source, built in 11 days. Greg Kurtzer directed a coding agent to write a from-scratch Rust kernel that boots Rocky userspace with systemd included. Experimental, but the timeline and Linux binary compatibility are impressive.
gmkurtzer/ginux
2 likes
Rocky Linux Creator Built a New 'Not Linux' Kernel in 11 Days Using AI
4 points
Whoa, I woke up this morning to see that a desktop environment is being built for Ginux!
I only released the paper like a week or so ago too... Amazing!
ginux#12 t.co
8 likes · 465 views
@Gaus450 Because Linux isn't what you want to build with agents. It is too bloated. Agents will be building specialized operating systems that are lean and solve the typically narrow use cases where you'd otherwise deploy Linux. Something along the lines of gmkurtzer/ginux
7 likes · 5,169 views
For those of you who are curious,... This PR to Ginux was created from a screenshot of a review in a social post.
It was a hands free uninterrupted process that ran about 15 hours and created this PR:
ginux#7
There is a TON of data in there, including testing, benchmarking, and the gates themselves.
I'm gonna audit and test it tonight.
4 likes · 315 views
Ginux: Independent rust based Linux implementation
5 points
Mentions
@mohammadvazin WIP: ginux#249
"The repository contains the complete bootable system, controller, native services, Linux compatibility implementation, hardware paths, build tools, architecture specifications, and QEMU test harnesses."
Gregory Kurtzer (créateur de CentOS puis de Rocky Linux) vous présente Ginux, un kernel "not linux" développé en 11 jours avec l’IA (via Pierre Arlais). Ya plus qu'à attendre les CVE ! 👉 gmkurtzer/ginux
Gregory Kurtzer (créateur de CentOS puis de Rocky Linux) vous présente Ginux, un kernel "not linux" développé en 11 jours avec l’IA (via Pierre Arlais). Ya plus qu'à attendre les CVE ! 👉 gmkurtzer/ginux t.co
Linux(ish) without the Linux kernel source, built in 11 days. Greg Kurtzer directed a coding agent to write a from-scratch Rust kernel that boots Rocky userspace with systemd included. Experimental, but the timeline and Linux binary compatibility are impressive. gmkurtzer/ginux
Rocky Linux Creator Built a New 'Not Linux' Kernel in 11 Days Using AI
Whoa, I woke up this morning to see that a desktop environment is being built for Ginux! I only released the paper like a week or so ago too... Amazing! ginux#12 t.co
@Gaus450 Because Linux isn't what you want to build with agents. It is too bloated. Agents will be building specialized operating systems that are lean and solve the typically narrow use cases where you'd otherwise deploy Linux. Something along the lines of gmkurtzer/ginux
For those of you who are curious,... This PR to Ginux was created from a screenshot of a review in a social post. It was a hands free uninterrupted process that ran about 15 hours and created this PR: ginux#7 There is a TON of data in there, including testing, benchmarking, and the gates themselves. I'm gonna audit and test it tonight.
Ginux: Independent rust based Linux implementation