Gregory Kurtzer, fondatore delle distribuzioni CentOS e Rocky Linux, ha presentato il progetto Ginux, che sviluppa il kernel del sistema operativo in Rust, mirato a raggiungere la compatibilità con il kernel Linux. Il prototipo di ricerca pubblicato è già in grado di avviare l'ambiente di sistema delle distribuzioni Alpine con BusyBox e Rocky Linux 10 con systemd in modalità console multiutente. Il codice del progetto è distribuito con licenza Apache 2.0. Supporta il funzionamento su sistemi con architettura x86-64.
Il prototipo è stato creato in 11 giorni nell'ambito di un esperimento sull'applicazione della tecnica di sviluppo HDAE (Human-Directed Agentic Engineering) per la creazione di progetti complessi, a livello del kernel Linux. Utilizzando il metodo HDAE, il codice è generato da un agente AI (utilizzando Codex con il modello GPT-5.6 Sol), mentre l'essere umano si concentra sulla progettazione dell'architettura, sulla presa di decisioni, sul coordinamento del lavoro, sulla formulazione del piano di sviluppo e sulla definizione dei criteri di prontezza dei componenti sviluppati. Gli agenti AI sono anche coinvolti nel testing, nella revisione e nella diagnosi dei problemi.
Il progetto non cerca di copiare le tecnologie del kernel Linux, ma crea le proprie implementazioni compatibili tenendo conto di esse. Ginux offre un sistema di gestione della memoria indipendente, uno scheduler, un processo di avvio, un modello di processi, filesystem, stack di rete, driver per dispositivi e uno strato per la compatibilità con Linux ABI. Il kernel di Ginux si avvia direttamente tramite UEFI senza richiedere un sistema Linux host.
Ginux non pretende ancora di sostituire Linux ed è in fase di preparazione per l'uso in sistemi operativi di lavoro, ma è già idoneo per esperimenti e testing. Nel lungo periodo, il progetto è considerato come un sistema operativo per l'esecuzione in contenitori isolati di componenti per un'infrastruttura AI. Il nome Ginux è una combinazione delle parole GPT/Gregory e Linux. La piattaforma di base per il testing è rappresentata da una macchina virtuale Q35 (Intel Q35/ICH) avviata tramite hypervisor con OVMF (Open Virtual Machine Firmware), Intel IOMMU e dispositivi virtio. KVM virtuale.
Tra i 375 sistemi di chiamata del kernel Linux 6.12, 82 sono completamente implementati, 245 solo parzialmente e 48 bloccati per motivi di sicurezza. Per identificare i malfunzionamenti che non possono essere rilevati nei test sintetici, il funzionamento del kernel viene valutato durante l'esecuzione di applicazioni e librerie reali, come musl, glibc, BusyBox e systemd.
Tra i piani:
- Garanzia dell'avvio dei componenti dello spazio utente delle distribuzioni Linux senza utilizzare il kernel Linux.
- Possibilità di creare ambienti isolati dei domini con i propri set di processi, spazi di indirizzamento, file system, dispositivi, risorse e cicli di vita indipendenti.
- Preparazione di un'immagine di avvio autonoma.
- Fornitura di un ambiente di controllo minimo nello spazio utente, che consente di gestire il kernel senza eseguire codice in modalità kernel.
- Sistema di gestione degli accessi che opera a livello di oggetti nominati.
- Supporto per l'avvio isolato di immagini dei contenitori nel formato OCI.
Fonte: opennet.ru
