Jeremy Soller (), twórca systemu operacyjnego , napisanego w języku Rust, o udanym wykorzystaniu Redox na komputerze przenośnym System76 Galaga Pro (Jeremy Soller pracuje w firmie System76). Z już w pełni funkcjonalnych komponentów wyróżniają się klawiatury, touchpad, pamięć (NVMe) oraz Ethernet.
Eksperymenty z Redox na laptopie umożliwiły już poprawę działania sterowników, dodanie wsparcia HiDPI w niektórych aplikacjach oraz stworzenie nowych komponentów, takich jak pkgar, ułatwiających instalację Redox z obrazów Live. Wśród zadań, na których koncentruje się uwaga, wymienia się osiągnięcie możliwości samodzielnego budowania systemu (kompilacji Redox w środowisku opartym na Redox). Za kilka miesięcy Soller planuje przejść na stałą pracę nad Redox w jednym z komputerów w środowisku opartym na Redox, po wprowadzeniu pewnych poprawek związanych z kompilatorem rustc.
Zastosowana w Redox koncepcja mikrojądra upraszcza rozwój sterowników, ponieważ można przekomplować i ponownie uruchomić podsystem odpowiedzialny za działanie sterowników bez wstrzymywania pracy. Oczekuje się, że rozwój w środowisku opartym na Redox pozwoli na zwiększenie efektywności portowania programów i rozwiązywania problemów z obsługą sprzętu. Na przykład, planowane jest doprowadzenie stosu USB do pełnej funkcjonalności oraz dodanie sterowników graficznych.
Przypomnijmy, że system operacyjny rozwija się zgodnie z filozofią Unix i czerpie pewne pomysły z SeL4, Minix i Plan 9. Redox wykorzystuje koncepcję mikrojądra, przy której na poziomie jądra zapewnione jest jedynie interprocesowe działanie oraz zarządzanie zasobami, a cała pozostała funkcjonalność jest przeniesiona do bibliotek, które mogą być używane zarówno przez jądro, jak i aplikacje użytkownika. Wszystkie sterowniki uruchamiane są w przestrzeni użytkownika w izolowanych sandboxach. Dla zgodności z istniejącymi aplikacjami dostępna jest specjalna warstwa POSIX, która umożliwia uruchamianie wielu programów bez portowania.
W systemie stosuje się zasadę "wszystko jest URL". Na przykład, do zapisu w logu może być używany URL "log://", do komunikacji między procesami "bus://", do interakcji sieciowej "tcp://" itp. Moduły, które mogą być realizowane w formie sterowników, rozszerzeń jądra i aplikacji użytkownika, mogą rejestrować swoje uchwyty URL, na przykład można napisać moduł do obsługi portów wejścia/wyjścia i powiązać go z URL "port_io://", po czym można go używać do dostępu do portu 60 poprzez otwarcie URL "port_io://60". Opracowania projektu na licencji MIT.
Środowisko użytkownika w Redox na bazie własnego interfejsu graficznego (nie mylić z interfejsem , wykorzystującym Qt i Wayland) oraz zestawu narzędzi , który oferuje API podobne do Flutter, React i Redux. Jako przeglądarka internetowa wykorzystywana jest . Projekt rozwija również własny , zestaw standardowych narzędzi (binutils, coreutils, netutils, extrautils), powłokę , standardową bibliotekę C , edytor tekstu podobny do vim , stos sieciowy oraz system plików , rozwijany na podstawie pomysłów ZFS (modułowa wersja ZFS w języku Rust). Konfiguracja ustalana jest w języku .
Źródło: opennet.ru
