È stata presentata la versione del progetto Sculpt 25.10, che sviluppa un sistema operativo basato sulle tecnologie del Genode OS Framework, utilizzabile da utenti comuni per eseguire compiti quotidiani. I codici sorgente del progetto sono distribuiti sotto la licenza AGPLv3. È disponibile per il download un'immagine di sistema di 35 MB, utilizzabile su PC, smartphone PinePhone e laptop MNT Reform. È supportato il funzionamento su sistemi con processori e unità grafiche Intel con le estensioni VT-d e VT-x attivate, così come su sistemi ARM con estensioni VMM.
Novità principali:
- È stato implementato un nuovo pianificatore di attività, progettato per ridurre al minimo i ritardi e garantire una distribuzione equa delle risorse. L'uso del nuovo pianificatore ha portato a un aumento delle prestazioni e della reattività dell'interfaccia su piattaforme a bassa potenza, come lo smartphone PinePhone.
- È stata ottimizzata l'operatività dello stack per l'interazione con dispositivi a blocchi e il meccanismo di installazione dei pacchetti.
- I driver USB, Wi-Fi, adattatori Ethernet e GPU Intel migrati dal kernel Linux sono stati sincronizzati con il kernel 6.12 (precedentemente si utilizzavano driver dal kernel 6.6).
- È stato proposto un nuovo formato per la configurazione e i report, con una sintassi leggibile e facilmente modificabile e analizzabile dagli utenti. Il vecchio formato basato su XML continua comunque a essere utilizzato per impostazione predefinita, mentre il nuovo è disponibile come opzione (nella prossima versione si prevede di includerlo come predefinito). Nel meccanismo di aggiornamento del sistema è stata implementata la possibilità di passare tra le vecchie e le nuove varianti di configurazione.
- Migliorato il supporto per il microkernel seL4 e risolti i problemi relativi al suo utilizzo con i driver caricati dinamicamente di Genode.
- Nell'implementazione dell'API di base, anziché utilizzare il meccanismo di eccezioni C++, è stata impiegata una gestione esplicita degli errori con codifica degli errori nei Σ-tipi (sum type). Sono state inoltre apportate modifiche per prevenire la fuga accidentale di puntatori e per definire esplicitamente la proprietà degli oggetti e la durata degli oggetti.
- Aggiornati GCC 14.2 e binutils 2.44.
- Implementata la possibilità di eseguire Goa SDK (strumento per lo sviluppo di applicazioni per Genode) in un ambiente sandbox.
- Unificata l'integrazione degli stack di rete supportati — lwIP e lo stack TCP/IP del kernel Linux.
- Migliorati i driver grafici per GPU Intel e VESA.
Il sistema viene fornito con un'interfaccia grafica Leitzentrale, che consente di eseguire le attività standard di amministrazione del sistema. Nell'angolo in alto a sinistra dell'interfaccia grafica è presente un menu con strumenti per gestire gli utenti, collegare dispositivi di archiviazione e configurare la connessione di rete. Al centro si trova un configuratore per definire la configurazione del sistema sotto forma di un grafo, che mostra le interconnessioni tra i componenti di sistema. In modalità interattiva è possibile rimuovere o aggiungere componenti, formando la composizione dell'ambiente di sistema o di macchine virtuali.
Se desidera, l'utente può passare alla modalità di gestione console, che offre maggiore flessibilità nella gestione. Un desktop tradizionale può essere ottenuto avviando la distribuzione TinyCore Linux in macchina virtuale con Linux. In questo ambiente sono disponibili i browser Firefox e Aurora, un editor di testo basato su Qt e varie applicazioni. Per avviare gli strumenti della riga di comando è disponibile l'ambiente «Noux».
Il framework Genode fornisce un'infrastruttura unificata per la creazione di applicazioni personalizzate che operano sopra il kernel Linux (32 e 64 bit) o microkernel NOVA (x86 con virtualizzazione), seL4 (x86_32, x86_64, ARM), Muen (x86_64), Fiasco.OC (x86_32, x86_64, ARM), L4ka::Pistachio (IA32, PowerPC), OKL4, L4/Fiasco (IA32, AMD64, ARM). Include un kernel Linux paravirtualizzato L4Linux, che opera sopra il microkernel Fiasco.OC, consentendo l'esecuzione di normali programmi Linux nell'ambiente Genode. Il kernel L4Linux non interagisce direttamente con l'hardware, ma utilizza i servizi Genode tramite un insieme di driver virtuali.
Per Genode sono stati portati diversi componenti di Linux e BSD, è stato fornito il supporto a Gallium3D, è stata effettuata l'integrazione di Qt, GCC e WebKit, e realizzata la possibilità di creare ambienti software ibridi Linux/Genode. È disponibile un port di VirtualBox che funziona sopra il microkernel NOVA. Molte applicazioni sono state adattate per funzionare direttamente sopra il microkernel e l'ambiente Noux, che fornisce virtualizzazione a livello di sistema operativo. Per l'esecuzione di programmi non portati, è disponibile un sistema di ambienti virtuali che opera a livello delle singole applicazioni e consente di eseguire programmi in un ambiente Linux virtuale utilizzando la para-virtualizzazione.
Fonte: opennet.ru
