Джеремі Соллер (), засновник операційної системи , написаної на мові Rust, про успішне використання Redox на ноутбуці System76 Galaga Pro (Джеремі Соллер працює в компанії System76). З уже повністю працездатних компонентів відзначаються клавіатури, тачпад, накопичувач (NVMe) та Ethernet.
Експерименти з Redox на ноутбуці вже дозволили покращити роботу драйверів, додати підтримку HiDPI в деякі програми та створити нові компоненти, такі як pkgar, що спрощують встановлення Redox з Live-образів. Серед завдань, на яких тепер сфокусовано увагу згадується досягнення можливості самоскладання системи (складання Redox з оточення на базі Redox). Через кілька місяців Соллер планує на одному з комп'ютерів перейти до постійної роботи над Redox з робочого оточення на базі Redox після того, як будуть внесені деякі доробки, пов'язані з компілятором rustc.
Концепція мікроядра, що застосовується в Redox, спрощує розробку драйверів, так як можна перекомпілювати і перезапускати підсистему, що забезпечує функціонування драйверів, без зупинки роботи. Очікується, що розробка в оточенні на базі Redox дозволить підвищити ефективність портування програм та вирішення проблем із підтримкою обладнання. Наприклад, планується довести до повноцінного стану USB-стек та додати графічні драйвери.
Нагадаємо, що операційна система розвивається відповідно до філософії Unix і запозичує деякі ідей з SeL4, Minix і Plan 9. Redox використовує концепцію мікроядра, при якому на рівні ядра забезпечується тільки взаємодія між процесами та управління ресурсами, а решта функціональності винесена в бібліотеки, які можуть використовуватися як ядром, так і додатками користувача. Всі драйвери виконуються у просторі користувача в ізольованих sandbox-оточеннях. Для сумісності з наявними програмами надається спеціальна POSIX-прошарок, що дозволяє запускати багато програм без портування.
У системі застосовується принцип "все є URL". Наприклад, для запису в лог може використовуватися URL "log://", для взаємодії між процесами "bus://", для взаємодії мережі "tcp://" і т.п. Модулі, які можуть бути реалізовані у формі драйверів, розширень ядра та додатків користувача, можуть реєструвати свої обробники URL, наприклад, можна написати модуль звернення до портів вводу/виводу і прив'язати його до URL «port_io://», після чого можна використовувати його для доступу до порту 60 через відкриття URL «port_io://60». Напрацювання проекту під вільною ліцензією MIT.
Користувальницьке оточення в Redox з урахуванням своєї графічної оболонки (Не плутати з оболонковий , що використовує Qt і Wayland) і тулкіта , що надає API, схожий на Flutter, React та Redux. Як web-браузер застосовується . Проектом також розвивається власний , набір стандартних утиліт (binutils, coreutils, netutils, extrautils), командна оболонка , стандартна Сі-бібліотека , vim-подібний текстовий редактор , мережевий стек та файлова система , що розвивається на основі ідей ZFS (модульний варіант ZFS мовою Rust). Конфігурація задається мовою .
Джерело: opennet.ru