Jeremy Soller (), Redox operatsioonisüsteemi asutaja, , mis on kirjutatud Rusti keeles, on edukalt kasutanud Redoxit System76 Galaga Pro sülearvutil (Jeremy Soller töötab ettevõttes System76). Täielikult toimivatest komponentidest on esile tõstetud klaviatuurid, puuteplaadi, salvestusseade (NVMe) ja Ethernet.
Eksperimentide käigus Redoxiga sülearvutil on juba parandatud draiverite toimimist, lisatud HiDPI tugi mõnes rakenduses ja loodud uusi komponente, nagu pkgar, mis lihtsustavad Redoxi installimist Live-piltidelt. Nüüd keskendutakse eesmärgile saavutada süsteemi isekogumine (Redoxi kokkupanek Redoxi põhjal ooperatsiooni keskkonnas). Mõne kuu pärast plaanib Soller ühel arvutist liikuda Redoxi arendamisele Redoxi põhjal ooperatsiooni keskkonnas pärast rustc kompilaatori osade parandusi.
Redoxis rakendatav mikrokernel'i kontseptsioon lihtsustab draiverite arendust, võimaldades subsüsteemi, mis haldab draivereid, uuesti kompileerida ja taaskäivitada ilma töö katkestamiseta. Oodatakse, et arendamine Redoxi põhjal körpäringis suurendab programmide portimise efektiivsust ja seadme toe probleemide lahendamist. Näiteks on plaanis viia USB-pink täieõiguslikku seisundisse ja lisada graafikodraivereid.
Tuletame meelde, et operatsioonisüsteem areneb Unix'i filosoofia kohaselt ja laenab ideid SeL4, Minixist ja Plan 9-st. Redox kasutab mikrokernel'i kontseptsiooni, kus tuum tiheneb vaid protsesside vahelise suhtluse ja ressursside haldamisega, samas kui kogu muu funktsionaalsus on viidud raamatukogudesse, mida võivad kasutada nii tuum kui ka kasutaja rakendused. Kõik draiverid toimivad kasutaja ruumis isoleeritud sandbox-keskkondades. Olemasolevate rakenduste ühilduvuse tagamiseks on olemas spetsiaalne POSIX-kiht, mis võimaldab paljusid programme käivitada ilma portimise vajaduseta.
Süsteemis kehtib põhimõte "kõik on URL". Näiteks võib logimist logida URL-iga "log://", protsesside vaheliseks suhtlemiseks "bus://", võrguühenduse jaoks "tcp://" jne. Moodulid, mida saab ellu viia draiverite, tuuma laienduste ja kasutusrakendustena, saavad registreerida oma URL-i töötlejad, näiteks võib kirjutada pangamooduli, mis on seotud URL-iga "port_io://", mille kaudu saab ligi pääseda 60. portile, avades URL-i "port_io://60". Projekti arendused. MITi tasuta litsentsi alusel.
Kasutajakeskkond Redoxis oma graafilise kasutajaliidese põhjal (ära sega segamini liidese , mis kasutab Qt ja Waylandi) ja tööriistakomplekti , mille API on sarnane Flutteri, Reacti ja Reduxiga. Veebibrauserina kasutatakse . Projekt arendab ka oma , standardsete utiliidikomplekti (binutils, coreutils, netutils, extrautils), käsurealiidest , standardset C-teeki , vim-sarnane tekstiredaktor , võrguauk ja failisüsteem , mis arendatakse ZFS-i ideedel (modulaarne ZFS versioon Rusti keeles). Konfiguratsioon määratakse Tomli keeles. .
Allikas: opennet.ru
