Das Genode-Projekt hat die Ausgabe des allgemeinen Betriebssystems Sculpt 25.10 veröffentlicht.

Die Ausgabe des Projekts Sculpt 25.10 wurde vorgestellt, das ein Betriebssystem auf Basis der Genode OS Framework-Technologien entwickelt, das von gewöhnlichen Nutzern für alltägliche Aufgaben verwendet werden kann. Die Quelltexte des Projekts werden unter der Lizenz AGPLv3 verbreitet. Zum Download steht ein 35 MB großer Systemabbild zur Verfügung, das auf PCs, dem Smartphone PinePhone und dem Laptop MNT Reform verwendet werden kann. Der Betrieb wird auf Systemen mit Intel-Prozessoren und Grafikkarten unterstützt, wobei die VT-d- und VT-x-Erweiterungen aktiviert sind, sowie auf ARM-Systemen mit VMM-Erweiterungen.

Hauptneuerungen:

• Ein neuer Task-Scheduler wurde implementiert, der darauf abzielt, Verzögerungen zu minimieren und die Ressourcen gerecht zu verteilen. Der Einsatz des neuen Schedulers führte zu einer Verbesserung der Leistung und der Reaktionsfähigkeit der Benutzeroberfläche auf leistungsschwachen Plattformen wie dem Smartphone PinePhone.
• Der Stack für die Arbeit mit Blockgeräten und den Mechanismus zur Paketinstallation wurde optimiert.
• Die aus dem Linux-Kernel übertragenen USB-Controller-, Wi-Fi-, Ethernet-Adapter- und Intel-GPU-Treiber wurden mit dem Kernel 6.12 synchronisiert (zuvor wurden Treiber aus dem Kernel 6.6 verwendet).
• Ein neues Format für Konfigurationen und Berichte wurde vorgeschlagen, das eine lesbare Syntax aufweist und benutzerfreundlich für Bearbeitung und Analyse ist. Das alte XML-basierte Format wird vorerst weiterhin standardmäßig verwendet, das neue steht als Option zur Verfügung (in der nächsten Version soll es standardmäßig aktiviert werden). Im System-Update-Mechanismus wurde die Möglichkeit implementiert, zwischen alten und neuen Konfigurationsvarianten zu wechseln.
• Die Unterstützung des Mikrokernels seL4 wurde verbessert, und Probleme bei der Verwendung mit dynamisch geladenen Genode-Treibern wurden behoben.
• In der Implementierung der Basis-API wurde anstelle des C++-Ausnahme-Mechanismus eine explizite Fehlerbehandlung mit der Kodierung von Fehlern in Σ-Typen (sum type) verwendet. Es wurden auch Änderungen hinzugefügt, um zufälliges Entweichen von Zeigern zu verhindern und das Eigentum an Objekten sowie deren Lebensdauer eindeutig zu definieren.
• GCC 14.2 und Binutils 2.44 wurden aktualisiert.
• Die Möglichkeit, das Goa SDK (Entwicklungstool für Anwendungen für Genode) in einer Sandbox-Umgebung auszuführen, wurde implementiert.
• Die Integration der unterstützten Netzwerk-Stacks – lwIP und den TCP/IP-Stack aus dem Linux-Kernel – wurde vereinheitlicht.
• Die Grafiktreiber für Intel-GPU und VESA wurden verbessert.

Das System wird mit der grafischen Benutzeroberfläche Leitzentrale geliefert, die es ermöglicht, typische Aufgaben zur Systemadministration auszuführen. In der oberen linken Ecke der grafischen Benutzeroberfläche wird ein Menü mit Werkzeugen zur Benutzerverwaltung, zum Anschluss von Speichermedien und zur Konfiguration der Netzwerkverbindung angezeigt. In der Mitte befindet sich ein Konfigurator, der die Systemkonfiguration in Form eines Graphen darstellt, der die Beziehungen zwischen den Systemkomponenten zeigt. Im interaktiven Modus können Komponenten hinzugefügt oder entfernt werden, um die Zusammensetzung der Systemumgebung zu formen. virtuelle Maschinen.

Auf Wunsch kann der Benutzer in den Konsolenmodus wechseln, der eine größere Flexibilität bei der Verwaltung bietet. Der traditionelle Desktop kann durch das Starten des TinyCore Linux-Distributionssystems in virtuellen Maschine Linux verwendet werden. In dieser Umgebung stehen die Browser Firefox und Aurora, ein auf Qt basierender Texteditor sowie verschiedene Anwendungen zur Verfügung. Für den Start von Kommandozeilen-Utilities wird die Umgebung „Noux“ angeboten.

Das Genode-Framework bietet eine einheitliche Infrastruktur zur Erstellung von Benutzeranwendungen, die über dem Linux-Kernel (32 und 64 Bit) oder den Mikro-kernen NOVA (x86 mit Virtualisierung), seL4 (x86_32, x86_64, ARM), Muen (x86_64), Fiasco.OC (x86_32, x86_64, ARM), L4ka::Pistachio (IA32, PowerPC), OKL4, L4/Fiasco (IA32, AMD64, ARM) arbeiten. Es enthält einen paravirtualisierten Linux-Kernel L4Linux, der über dem Mikrokern Fiasco.OC arbeitet und die Ausführung herkömmlicher Linux-Programme in der Genode-Umgebung ermöglicht. Der L4Linux-Kernel arbeitet nicht direkt mit der Hardware, sondern nutzt die Dienste von Genode über eine Reihe virtueller Treiber.

Für Genode wurden verschiedene Komponenten von Linux und BSD portiert, Gallium3D-Unterstützung bereitgestellt, die Integration von Qt, GCC und WebKit durchgeführt und die Möglichkeit zur Erstellung hybrider Linux/Genode-Programmierumgebungen realisiert. Es gibt einen Port von VirtualBox, der über dem Mikrokern NOVA läuft. Viele Anwendungen wurden angepasst, um direkt über dem Mikrokern und der Noux-Umgebung, die eine Virtualisierung auf Betriebssystemebene ermöglicht, ausgeführt zu werden. Für nicht portierte Programme wird ein System virtueller Umgebungen angeboten, das auf der Ebene einzelner Anwendungen arbeitet und es ermöglicht, Programme in einer virtuellen Linux-Umgebung unter Verwendung von Paravirtualisierung auszuführen.

Quelle: opennet.ru