(Jeremy Soller,), fondatore del sistema operativo , scritto in Rust, sull'uso riuscito di Redox su un laptop System76 Galaga Pro (Jeremy Soller lavora per System76). Tra i componenti già completamente funzionanti ci sono tastiere, touchpad, storage (NVMe) ed Ethernet.
Gli esperimenti con Redox sul laptop hanno già permesso di migliorare le prestazioni dei driver, di aggiungere supporto HiDPI ad alcune applicazioni e di creare nuovi componenti come pkgar, che semplificano l'installazione di Redox da immagini Live. Tra gli obiettivi su cui ora è focalizzata l'attenzione c'è la realizzazione della capacità di autoassemblaggio del sistema (assemblaggio di Redox in un ambiente basato su Redox). Tra qualche mese, Soller prevede di passare a lavorare stabilmente su Redox da uno dei computer, dopo aver apportato alcune modifiche legate al compilatore rustc.
Il concetto di microkernel applicato in Redox semplifica lo sviluppo dei driver, poiché è possibile ricompilare e riavviare il sottosistema che gestisce il funzionamento dei driver senza interrompere l'operatività. Si prevede che lo sviluppo in un ambiente basato su Redox consenta di migliorare l'efficienza del porting delle applicazioni e di risolvere i problemi di supporto hardware. Ad esempio, si prevede di portare a uno stato completo lo stack USB e di aggiungere driver grafici.
Ricordiamo che il sistema operativo si sviluppa secondo la filosofia Unix e trae ispirazione da alcune idee di SeL4, Minix e Plan 9. Redox utilizza il concetto di microkernel, in cui a livello di kernel viene garantita solo l'interazione tra i processi e la gestione delle risorse, mentre tutta la restante funzionalità è esternalizzata in librerie che possono essere utilizzate sia dal kernel sia dalle applicazioni utente. Tutti i driver vengono eseguiti nello spazio utente in ambienti sandbox isolati. Per garantire la compatibilità con le applicazioni esistenti, è fornito un layer POSIX speciale che consente di eseguire molteplici programmi senza doverli portare.
Nel sistema si applica il principio "tutto è un URL". Ad esempio, per la registrazione nel log si può utilizzare l'URL "log://", per l'interazione tra processi "bus://", per l'interazione di rete "tcp://" e così via. I moduli che possono essere implementati sotto forma di driver, estensioni del kernel e applicazioni utente possono registrare i propri gestori URL; ad esempio, si può scrivere un modulo per l'accesso alle porte di input/output e collegarlo all'URL "port_io://", dopodiché è possibile utilizzarlo per accedere alla porta 60 aprendo l'URL "port_io://60". Risultati del progetto con licenza libera MIT.
L'ambiente utente in Redox sulla base di un'interfaccia grafica proprietaria (non confondere con interfaccia , che utilizza Qt e Wayland) e del toolkit , che fornisce un'API simile a Flutter, React e Redux. Come browser web viene utilizzato . Il progetto sviluppa anche un proprio , un insieme di utility standard (binutils, coreutils, netutils, extrautils), la shell dei comandi , la libreria C standard , un editor di testo simile a vim , uno stack di rete e il file system , sviluppato sulla base delle idee di ZFS (una variante modulare di ZFS in Rust). La configurazione è definita nel linguaggio .
Fonte: opennet.ru
