Fortschritte bei der Nutzung des Redox-Betriebssystems auf echter Hardware

Jeremy Soller (Jeremy Soller), Gründer des Betriebssystems Redox, das in der Programmiersprache Rust geschrieben ist, berichtete berichtete über den erfolgreichen Einsatz von Redox auf dem System76 Galaga Pro Laptop (Jeremy Soller arbeitet bei System76). Zu den bereits vollständig funktionsfähigen Komponenten gehören die Tastatur, das Touchpad, der Speicher (NVMe) und Ethernet.

Die Experimente mit Redox auf dem Laptop haben bereits zur Verbesserung der Treiberleistung, zur Integration von HiDPI-Unterstützung in einige Anwendungen und zur Schaffung neuer Komponenten wie pkgar geführt, die die Installation von Redox von Live-Images vereinfachen. Die aktuellen Ziele konzentrieren sich auf die Erreichung der Möglichkeit zur Selbstassemblierung des Systems (Zusammenstellung von Redox in einer Redox-basierten Umgebung). In den kommenden Monaten plant Soller, auf einem der Computer dauerhaft an Redox aus einer Redox-basierten Arbeitsumgebung zu arbeiten, nachdem einige Anpassungen am Compiler rustc vorgenommen wurden.

Das in Redox verwendete Mikrokernel-Konzept vereinfacht die Entwicklung von Treibern, da das Rekompilieren und Neustarten des Subsystems, das für das Funktionieren der Treiber verantwortlich ist, ohne Unterbrechung des Betriebs möglich ist. Es wird erwartet, dass die Entwicklung in einer Redox-basierten Umgebung die Effizienz beim Portieren von Programmen und der Lösung von Hardwareunterstützungsproblemen erhöht. Beispielsweise ist geplant, den USB-Stack auf einen vollständigen Zustand zu bringen und grafische Treiber hinzuzufügen.

Es sei daran erinnert, dass das Betriebssystem gemäß der Unix-Philosophie entwickelt wird und einige Ideen von SeL4, Minix und Plan 9 aufgreift. Redox verwendet das Mikrokernel-Konzept, bei dem auf der Kernel-Ebene lediglich die Interaktion zwischen Prozessen und das Ressourcenmanagement gewährleistet sind, während alle anderen Funktionalitäten in Bibliotheken ausgelagert werden, die sowohl vom Kernel als auch von Benutzeranwendungen genutzt werden können. Alle Treiber werden im Benutzerspeicher in isolierten Sandbox-Umgebungen ausgeführt. Um die Kompatibilität mit bestehenden Anwendungen sicherzustellen, wird eine spezielle POSIX-Schicht bereitgestellt, die es ermöglicht, viele Programme ohne Portierung auszuführen.

Im System gilt das Prinzip „alles ist eine URL“. Zum Beispiel kann die URL „log://“ für das Protokollieren verwendet werden, „bus://“ für die Interprozesskommunikation, „tcp://“ für Netzwerkverbindungen usw. Module, die als Treiber, Kernel-Erweiterungen und Benutzeranwendungen implementiert werden können, können ihre URL-Handler registrieren. Beispielsweise kann ein Modul zum Ansprechen von Ein-/Ausgabe-Ports geschrieben und an die URL „port_io://“ gebunden werden, wodurch der Zugriff auf den Port 60 durch das Öffnen der URL „port_io://60“ möglich wird. Projektfortschritte werden unter der MIT-Lizenz.

Benutzerumgebung in Redox gebaut basierend auf einer eigenen grafischen Oberfläche Orbital (nicht zu verwechseln mit einer anderen Oberfläche Orbital, die Qt und Wayland verwendet) und dem Toolkit OrbTk, das eine API ähnlich wie Flutter, React und Redux bietet. Als Webbrowser wird Netsurfverwendet. Das Projekt entwickelt auch ein eigenes von KISS ist in Shell geschrieben und umfasst etwa 500 Zeilen Code. Alle Pakete werden aus Quelltexten erstellt. Die Abhängigkeiten werden berücksichtigt und zusätzliche Patches können angewendet werden., ein Set von Standard-Utilities (binutils, coreutils, netutils, extrautils), die Kommandozeile ion, die Standard-C-Bibliothek relibc, ein vim-ähnlicher Texteditor sodium, ein Netzwerkstack und das Dateisystem TFS, basierend auf den Ideen von ZFS (modulare Version von ZFS in Rust). Die Konfiguration wird in der Sprache Toml.

Quelle: opennet.ru