Awesome GitHub RepositoriesRemote Kernel Debugging

XNU ist ein hybrider Betriebssystemkern, der eine Mikrokernel-Architektur mit einer monolithischen Schicht für Systemdienste kombiniert. Er bietet eine Grundlage für die Betriebssystementwicklung und integriert standardisierte Systemaufruf-Schnittstellen, ein modulares Gerätetreiber-Framework und eine obligatorische Zugriffskontrollsicherheit. Die Architektur verfügt über einen Mach-basierten Mikrokernel und eine BSD-basierte monolithische Schicht. Sie nutzt einen nachrichtenbasierten Inter-Prozess-Kommunikationsbus für den sicheren Datenaustausch zwischen isolierten Kernel-Komponenten und Benutzerprozessen, neben einem objektorientierten Treiber-Framework, das hardwarespezifische Logik vom Kern-Kernel entkoppelt. Das System enthält eine Engine für obligatorische Zugriffskontrolle zur richtlinienbasierten Sicherheitsdurchsetzung und einen Remote-Kernel-Debugger zur Inspektion von Live-Speicher und zur Analyse von System-Panics. Zusätzliche Fähigkeiten decken die Multiprozessor-Planung, die Koordination von Hardwareressourcen und ein Build-System zur Generierung bootfähiger Images über verschiedene Architekturen hinweg ab. Das Projekt bietet Tools für das Kernel-Build-Management, die Generierung von Debug-Symbolen und ein Framework für die Systemaufruf-Verifizierung.

Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se