Ginux to eksperymentalne, niezależne jądro x86-64, które ma uruchamiać wybrane programy Linuksa bez korzystania z jądra Linux. Gregory M. Kurtzer ogłosił projekt 27 października 2026 roku. W opisanym przez projekt teście QEMU systemd w Rocky Linux 10 osiągnął cel multi-user.target; był to konkretny przepływ uruchomienia, a nie sprawdzian zgodności z dowolnym programem czy dystrybucją.

Co obejmował test Rocky Linux 10

Anglojęzyczny terminal z poleceniami Ginux; wynik identyfikuje Rocky Linux 10, osiągnięcie celu Multi-User System przez systemd i monit logowania.

Test odbywał się w QEMU, maszynie wirtualnej. Repozytorium Ginux wskazuje obraz rockylinux/rockylinux:10-ubi-init jako użyty do uruchomienia systemd. Zaznacza też, że podstawowy obraz rockylinux/rockylinux:10 nie zawiera systemd.

Obraz Rocky LinuxRola w opisanym teście
rockylinux/rockylinux:10-ubi-initObraz użyty w teście z systemd
rockylinux/rockylinux:10Obraz bazowy bez systemd

Zrzut terminala z tego przepływu przedstawia Rocky Linux 10 po osiągnięciu przez systemd celu Multi-User System, a na końcu pokazuje monit logowania.

Ginux nie jest forkiem Linuksa

Kurtzer opisuje Ginux jako niezależne jądro, napisane głównie w Rust. Linux jest w nim obsługiwanym interfejsem zgodności dla wybranych programów, a nie jądrem, na którym opiera się Ginux. Projekt koncentruje się na profilu QEMU x86-64 Q35 z OVMF, Intel IOMMU i urządzeniami virtio.

Repozytorium klasyfikuje 375 numerów wywołań systemowych z Linux 6.12 dla x86-64. Wywołanie systemowe to sposób, w jaki program zwraca się do jądra o wykonanie operacji. W zestawieniu projektu 82 pozycje są kompletne, 245 częściowych, a 48 odrzucono przez politykę. Projekt określa zgodność Ginux z Linuksem jako niepełną.

Klasyfikacja w rejestrze projektuLiczba wywołań systemowych Linux 6.12 x86-64
Kompletne82
Częściowe245
Odrzucone przez politykę48

Ginux obsługuje wybrane programy Alpine Linux korzystające z musl i BusyBox oraz wybrane programy Rocky Linux korzystające z glibc. Repozytorium nie gwarantuje działania dowolnych binariów ani dystrybucji, więc wynik dotyczący systemd nie oznacza zgodności z całym ekosystemem Linuksa.

Oceniany checkpoint nie przeszedł testu zbiorczego

Gregory M. Kurtzer opublikował ogłoszenie 27 października. Oceniany w raporcie technicznym checkpoint pochodził z 23 października 2026 roku i miał identyfikator d11c126a048a51fe7eb9c4105f31760add1027ea. W tym checkpointcie zbiorczy test make test nie zakończył się powodzeniem: pozostała niezaliczona sonda cyklu życia supervisora systemowego po execve().

To odrębny wynik od uruchomienia Rocky Linux 10. W dokumentacji projektu opisany rozruch osiągnął multi-user.target, ale cały zbiorczy test ocenianego checkpointu nie przeszedł.

HDAE: człowiek wyznaczał zadanie, agent pracował nad kodem

Kurtzer opisał metodę Human-Directed Agentic Engineering (HDAE), w której człowiek ustala architekturę, ograniczenia, etapy, kryteria akceptacji i punkt zakończenia pracy, a agent implementuje kod i uczestniczy w pętli testów oraz poprawek. Według twórcy prace nad Ginux trwały 11 dni; przypisał jednemu stale działającemu zadaniu OpenAI Codex z modelem GPT-5.6 Sol około 139 000 zachowanych linii kodu implementacyjnego i testowego.

Kurtzer określił Ginux jako prototyp badawczy, a nie jądro produkcyjne ani zamiennik Linuksa.