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 un ambiente di sistema delle distribuzioni Alpine con BusyBox e Rocky Linux 10 con systemd in modalità console multiutente. Il codice del progetto è distribuito sotto licenza Apache 2.0. È supportato 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 (è stato usato Codex con modello GPT-5.6 Sol), mentre l'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 coinvolti anche nei test, nella revisione e nella diagnosi dei problemi.
Il progetto non cerca di copiare le tecnologie del kernel Linux, ma crea proprie implementazioni compatibili ispirandosi a esse. Ginux offre un sistema di gestione della memoria indipendente, un pianificatore di attività, un bootloader, un modello di processi, filesystem, stack di rete, driver per dispositivi e uno strato per la compatibilità con Linux ABI. Il kernel Ginux si avvia direttamente tramite UEFI senza l'intervento di un sistema host Linux.
Ginux non pretende ancora di sostituire Linux e non è pronto per l'uso in sistemi di produzione, ma è già idoneo per esperimenti e test. A lungo termine, il progetto è visto come un sistema operativo per l'esecuzione in contenitori isolati di componenti per infrastrutture AI. Il nome Ginux è stato formato come una combinazione delle parole GPT/Gregory e Linux. La piattaforma di base per i test è una macchina virtuale Q35 (Intel Q35/ICH) avviata tramite hypervisor con OVMF (Open Virtual Machine Firmware), Intel IOMMU e dispositivi virtio. KVM virtuale.
Dei 375 syscalls del kernel Linux 6.12, 82 sono completamente implementati, 245 parzialmente e 48 bloccati per motivi di sicurezza. Per identificare i malfunzionamenti non rilevabili nei test sintetici, il funzionamento del kernel viene valutato eseguendo applicazioni e librerie reali come musl, glibc, BusyBox e systemd.
Tra i piani:
- Garantire l'avvio dei componenti dell'utente nei distributivi Linux senza utilizzare il kernel Linux.
- Possibilità di creare ambienti isolati dei domini con i propri set di processi, spazi indirizzi, file system, dispositivi, risorse e ciclo di vita indipendente.
- Preparazione di un'immagine di avvio autonoma.
- Fornire un ambiente di controllo minimale nello spazio utente (userspace control plane) che consenta di gestire il kernel senza eseguire codice nel livello di protezione zero.
- Sistema di gestione degli accessi che opera a livello di oggetti nominati.
- Supporto per l'avvio isolato di immagini container nel formato OCI.
Fonte: opennet.ru
