Gregory Kurtzer, grundaren av CentOS- och Rocky Linux-distributioner, har introducerat projektet Ginux, som utvecklar operativsystemets kÀrna i Rust, med sikte pÄ att uppnÄ kompatibilitet med Linux-kÀrnan. Den publicerade forskningsprototypen kan redan starta systemmiljöer för Alpine-distributioner med BusyBox och Rocky Linux 10 med systemd i flermanaskonsolÀge. Projektets kod distribueras under Apache 2.0-licensen. Den stöder drift pÄ system med x86-64-arkitektur.
Prototypen skapades pÄ 11 dagar inom ramen för ett experiment som utforskade anvÀndningen av HDAE-teknik (Human-Directed Agentic Engineering) för att skapa komplexa projekt av Linux-kÀrnans kaliber. Med HDAE-metoden genereras koden av en AI-agent (Codex med GPT-5.6 Sol-modellen anvÀnds), medan mÀnniskan fokuserar pÄ att utveckla arkitekturen, fatta beslut, samordna arbete, formulera utvecklingsplanen och definiera kriterier för fÀrdigstÀllande av utvecklade komponenter. AI-agenter engageras Àven för testning, granskning och diagnostisering av problem.
Projektet försöker inte kopiera teknologier frÄn Linux-kÀrnan, utan skapar egna kompatibla implementationer med dem i Ätanke. Ginux erbjuder oberoende minneshanteringssystem, schemalÀggare, startprocess, processmodeller, filsystem, nÀtverksstack, enhetsdrivrutiner och ett lager för kompatibilitet med Linux ABI. Ginux-kÀrnan laddas direkt via UEFI utan inblandning av ett vÀrd-Linux-system.
Ginux hÀvdar Àn sÄ lÀnge inte att ersÀtta Linux och Àr inte redo för anvÀndning i produktionssystem, men Àr redan lÀmplig för experiment och tester. PÄ lÄng sikt betraktas projektet som ett operativsystem för körning av isolerade containrar av komponenter för AI-infrastruktur. Namnet Ginux bildades som en kombination av orden GPT/Gregory och Linux. Testplattformen Àr en virtuell maskin som körs med hjÀlp av hypervisor. KVM Q35 (Intel Q35/ICH) med OVMF (Open Virtual Machine Firmware), Intel IOMMU och virtio-enheter.
Av 375 systemanrop frÄn Linux-kÀrnan 6.12 Àr 82 helt implementerade, 245 delvis och 48 blockerade av sÀkerhetsskÀl. För att identifiera fel som inte kan upptÀckas i syntetiska tester utvÀrderas kÀrnans arbete genom att köra verkliga tillÀmpningar och bibliotek, sÄsom musl, glibc, BusyBox och systemd.
Bland planerna:
- Möjliggöra körning av komponenter i anvÀndarutrymmet för Linux-distributioner utan att anvÀnda Linux-kÀrnan.
- Möjlighet att skapa isolerade domÀner med sina egna processuppsÀttningar, adressutrymmen, filsystem, enheter, resurser och oberoende livscykel.
- Förberedelse av en sjÀlvstÀndig bootbar bild.
- TillhandahÄlla en minimal kontrollmiljö i anvÀndarutrymmet (userspace control plane) som möjliggör hantering av kÀrnan utan att köra kod i nivÄ noll.
- à tkomstkontrollsystem som fungerar pÄ namngivna objekts nivÄ.
- Stöd för isolerad körning av containrar i OCI-format.
KĂ€lla: opennet.ru
