Awesome GitHub RepositoriesRemote Kernel Debugging

XNU este un kernel de sistem de operare hibrid care combină o arhitectură de microkernel cu un strat monolitic pentru serviciile de sistem. Oferă o fundație pentru dezvoltarea sistemelor de operare, încorporând interfețe standardizate de apeluri de sistem, un framework modular de drivere de dispozitiv și securitate bazată pe controlul accesului obligatoriu. Arhitectura dispune de un microkernel bazat pe Mach și un strat monolitic bazat pe BSD. Utilizează un bus de comunicare inter-proces bazat pe transmiterea de mesaje pentru schimbul securizat de date între componentele izolate ale kernel-ului și procesele din user-space, alături de un framework de drivere orientat pe obiecte care decuplează logica specifică hardware-ului de kernel-ul de bază. Sistemul include un motor de control al accesului obligatoriu pentru aplicarea securității bazate pe politici și un debugger de kernel la distanță pentru inspectarea memoriei live și analizarea panicii sistemului. Capabilitățile suplimentare acoperă programarea multi-procesor, coordonarea resurselor hardware și un sistem de build pentru generarea de imagini bootabile pe diferite arhitecturi. Proiectul oferă instrumente pentru gestionarea build-ului kernel-ului, generarea simbolurilor de depanare și un framework pentru verificarea apelurilor de sistem.

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