È stata presentata la versione del progetto Sculpt 25.10, che sviluppa un sistema operativo basato sulla tecnologia Genode OS Framework, utilizzabile da utenti normali per svolgere compiti quotidiani. I codici sorgente del progetto sono distribuiti sotto la licenza AGPLv3. È disponibile un'immagine di sistema di 35 MB, utilizzabile su PC, smartphone PinePhone e laptop MNT Reform. Supporta l'esecuzione su sistemi con processori e sottosistemi grafici Intel con 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 distribuire equamente le risorse. L'uso del nuovo pianificatore ha portato a un miglioramento della performance e della reattività dell'interfaccia su piattaforme poco potenti, come lo smartphone PinePhone.
- Ottimizzato il funzionamento dello stack per i dispositivi a blocchi e il meccanismo di installazione dei pacchetti.
- I driver per controller USB, adattatori Wi-Fi, Ethernet e GPU Intel, provenienti dal kernel Linux, sono stati sincronizzati con il kernel 6.12 (in precedenza venivano utilizzati i driver del kernel 6.6).
- È stato proposto un nuovo formato per la configurazione e i report, con una sintassi leggibile e facile da modificare e analizzare per l'utente. Il vecchio formato basato su XML continua a essere utilizzato come predefinito, 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 nuove versioni della configurazione.
- Migliorato il supporto per il microkernel seL4 e risolti i problemi di utilizzo con i driver caricabili dinamicamente di Genode.
- Nell'implementazione dell'API di base, invece dell'uso meccanismi di eccezioni C++, è stata utilizzata la gestione esplicita degli errori con codifica degli errori in Σ-tipi (sum type). Sono state inoltre apportate modifiche per prevenire la fuga accidentale di puntatori e definire esplicitamente la proprietà degli oggetti e il loro ciclo di vita.
- Aggiornati GCC 14.2 e binutils 2.44.
- È stata implementata la possibilità di eseguire Goa SDK (kit di strumenti per lo sviluppo di applicazioni per Genode) in un ambiente sandbox.
- Uniformata l'integrazione dei stack di rete supportati — lwIP e lo stack TCP/IP del kernel Linux.
- Migliorati i driver grafici per GPU Intel e VESA.
Il sistema è fornito con un'interfaccia grafica Leitzentrale che consente di eseguire attività standard di amministrazione del sistema. Nell'angolo in alto a sinistra dell'interfaccia grafica è presente un menu con strumenti per la gestione degli utenti, il collegamento di dispositivi di archiviazione e la configurazione della connessione di rete. Al centro si trova un configuratore per definire la configurazione del sistema sotto forma di un grafo, che mostra le interrelazioni tra i componenti di sistema. In modalità interattiva, è possibile rimuovere o aggiungere componenti, formando così la composizione dell'ambiente di sistema o macchine virtuali.
Se lo desidera, l'utente può passare alla modalità console, che offre maggiore flessibilità nella gestione. Il desktop tradizionale può essere ottenuto avviando la distribuzione di TinyCore Linux in macchina virtuale Linux. In questo ambiente sono disponibili i browser Firefox e Aurora, un editor di testo basato su Qt e varie applicazioni. Per avviare le utilità della riga di comando, è disponibile l'ambiente "Noux".
Il framework Genode fornisce un'infrastruttura unificata per lo sviluppo di applicazioni utente che operano sopra il kernel Linux (32 e 64 bit) o i 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). Fa parte di questo un kernel Linux paravirtualizzato chiamato 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 attraverso un insieme di driver virtuali.
Per Genode sono stati portati vari componenti di Linux e BSD, è stato garantito il supporto per Gallium3D, è stata effettuata l'integrazione di Qt, GCC e WebKit, ed è stata realizzata la possibilità di creare ambienti software ibridi Linux/Genode. È disponibile un port di VirtualBox che opera sopra il microkernel NOVA. Molte applicazioni sono state adattate per l'esecuzione diretta sopra il microkernel e l'ambiente Noux, che offre virtualizzazione a livello di sistema operativo. Per eseguire programmi non portati, è disponibile un sistema di ambienti virtuali che opera a livello di singole applicazioni e consente l'esecuzione di programmi in un ambiente Linux virtuale utilizzando la paravirtualizzazione.
Fonte: opennet.ru
