Das Genode-Projekt hat die allgemeine Betriebssystemversion Sculpt 25.10 veröffentlicht.

Die Version des Projekts Sculpt 25.10 wurde vorgestellt, das ein Betriebssystem auf Basis der Genode OS Framework-Technologien entwickelt, das von gewöhnlichen Benutzern für alltägliche Aufgaben verwendet werden kann. Die Quelltexte des Projekts werden unter der AGPLv3-Lizenz verbreitet. Ein System-Image mit einer Größe von 35 MB wird zum Download angeboten, das auf PCs, dem PinePhone-Smartphone und dem MNT Reform-Laptop verwendet werden kann. Die Arbeit auf Systemen mit Intel-Prozessoren und integrierter Grafik, die die VT-d- und VT-x-Erweiterungen aktiv haben, sowie auf ARM-Systemen mit VMM-Erweiterungen wird unterstützt.

Hauptneuerungen:

• Ein neuer Task-Scheduler wurde implementiert, der darauf abzielt, Latenzen zu minimieren und die Ressourcen gerecht zu verteilen. Der Einsatz des neuen Schedulers hat zu einer Leistungssteigerung und einer besseren Reaktionsfähigkeit der Benutzeroberfläche auf leistungsschwachen Plattformen wie dem PinePhone-Smartphone geführt.
• Die Leistung des Stacks zur Verarbeitung von Blockgeräten und des Paketsystems wurde optimiert.
• Die aus dem Linux-Kernel übertragenen Treiber für USB-Controller, Wi-Fi, Ethernet-Adapter und Intel-GPU 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 einen lesbaren Syntax hat und benutzerfreundlich für Bearbeitung und Analyse ist. Das alte XML-basierte Format wird vorerst weiterhin standardmäßig verwendet, während das neue als Option verfügbar ist (in der nächsten Version soll es standardmäßig integriert werden). Im Systemaktualisierungsmechanismus wurde die Möglichkeit implementiert, zwischen den alten und neuen Konfigurationsoptionen zu wechseln.
• Die Unterstützung des Mikrokernels seL4 wurde verbessert, und Probleme mit dessen Nutzung in Verbindung mit dynamisch geladenen Genode-Treibern wurden behoben.
• In der Implementierung der grundlegenden API wird anstelle des C++-Ausnahmebehandlungsmechanismus eine explizite Fehlerbehandlung verwendet, wobei Fehler in Σ-Typen (Summentypen) kodiert werden. Außerdem wurden Änderungen vorgenommen, um zufällige Zeigerlecks zu verhindern und das Eigentum sowie die Lebensdauer von Objekten explizit zu definieren.
• GCC 14.2 und binutils 2.44 wurden aktualisiert.
• Die Möglichkeit, das Goa SDK (Entwicklungswerkzeug für Anwendungen in Genode) in einer Sandbox-Umgebung auszuführen, wurde implementiert.
• Die Integration der unterstützten Netzwerkstacks — lwIP und den TCP/IP-Stack des Linux-Kernels — wurde vereinheitlicht.
• Die Grafikkartentreiber für Intel-GPU und VESA wurden verbessert.

Das System wird mit der grafischen Benutzeroberfläche Leitzentrale geliefert, die es ermöglicht, Standardaufgaben zur Systemadministration durchzuführen. In der oberen linken Ecke der Benutzeroberfläche befindet sich ein Menü mit Werkzeugen zur Benutzerverwaltung, zum Anschluss von Speichermedien und zur Konfiguration der Netzverbindung. In der Mitte gibt es einen Konfigurator zur Definition der Systemzusammensetzung in Form eines Grafen, der die Beziehungen zwischen den Systemkomponenten zeigt. Im interaktiven Modus können Komponenten entfernt oder hinzugefügt werden, um das Systemumfeld zu gestalten oder virtuellen Maschinen.

Auf Wunsch kann der Benutzer in den Konsolenmodus wechseln, der mehr Flexibilität in der Verwaltung bietet. Der traditionelle Desktop kann durch das Starten der TinyCore Linux-Distrubution in virtuellen Maschine mit Linux erreicht werden. In dieser Umgebung stehen die Browser Firefox und Aurora, ein Texteditor auf Basis von Qt sowie verschiedene Anwendungen zur Verfügung. Für die Ausführung von Befehlszeilen-Tools wird die Umgebung „Noux“ angeboten.

Das Genode-Framework bietet eine einheitliche Infrastruktur zur Erstellung von benutzerdefinierten Anwendungen, die auf dem Linux-Kernel (32 und 64 Bit) oder den Mikrokernen 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) basieren. Es beinhaltet den para-virtualisierten Linux-Kernel L4Linux, der über das Mikrokern Fiasco.OC läuft und die Ausführung von normalen Linux-Anwendungen in der Genode-Umgebung ermöglicht. Der L4Linux-Kernel kommuniziert nicht direkt mit der Hardware, sondern nutzt die Dienste von Genode über eine Reihe von virtuellen Treibern.

Für Genode wurden verschiedene Komponenten von Linux und BSD portiert, es wurde Unterstützung für Gallium3D bereitgestellt, Qt, GCC und WebKit integriert und die Möglichkeit zur Schaffung hybrider Linux/Genode-Programmierumgebungen umgesetzt. Es gibt einen VirtualBox-Port, der auf dem Mikrokernel NOVA läuft. Viele Anwendungen sind angepasst, um direkt auf dem Mikrokernel und der Umgebung Noux zu laufen, die Virtualisierung auf Betriebssystemebene ermöglicht. Für nicht portierte Programme wird ein System virtueller Umgebungen angeboten, das auf der Ebene einzelner Anwendungen funktioniert und es ermöglicht, Programme in einer virtuellen Linux-Umgebung mit Paravirtualisierung auszuführen.

Quelle: opennet.ru