Awesome GitHub RepositoriesKernel Emulation Environments

Darling is a translation layer that enables the native execution of unmodified macOS binaries on Linux systems. It functions as a compatibility environment that maps macOS-specific system calls and environment variables to the host Linux kernel, allowing desktop applications to run without the need for full hardware virtualization or emulation. The project achieves this by implementing a user-space kernel emulation environment that intercepts and translates kernel traps into their Linux equivalents. It includes a custom loader for binary files that resolves dependencies against open-source im

This is a collection of academic programming projects that accompany an operating systems textbook, designed to teach core OS concepts through hands-on implementation. The projects span the major subsystems of an operating system, including process scheduling, memory management, file systems, and concurrency, with students building components from scratch in a simulated environment. The projects are structured to cover the full range of OS internals, from low-level kernel development to user-space system programming. Students implement lottery-based CPU schedulers, dynamic heap memory allocat

Asterinas est un noyau de système d'exploitation sécurisé en mémoire conçu pour prévenir les data races et la corruption mémoire. Il fonctionne comme un noyau compatible Linux-ABI, permettant l'exécution de binaires Linux existants et de charges de travail conteneurisées tout en offrant un modèle de distribution de système d'exploitation déclaratif. Le projet se distingue en agissant comme un hôte de conteneurs pour machines virtuelles et un OS invité pour le confidential computing, lui permettant de s'exécuter au sein d'environnements d'exécution isolés matériellement comme Intel TDX. Il implémente une base de calcul de confiance minimale en isolant les opérations dangereuses de bas niveau et sépare les mécanismes fondamentaux du noyau des implémentations de politiques spécifiques. Le système couvre un large éventail de capacités, incluant la gestion de la mémoire physique et virtuelle, le multi-processing symétrique et l'abstraction matérielle pour diverses architectures CPU. Il inclut également le support pour les runtimes de conteneurs sécurisés, un ensemble complet de primitives réseau et socket, ainsi qu'une toolchain spécialisée pour la compilation et l'émulation du noyau. Le projet prend en charge le déploiement multi-architecture sur les plateformes x86-64, RISC-V 64 et LoongArch 64.

Ce projet fournit un environnement de développement du noyau Linux et une suite d'émulation système pour construire et déboguer des modules noyau et de l'assembleur bare-metal à travers de multiples architectures matérielles. Il fonctionne comme un bac à sable complet et un framework pour le développement système bas niveau, utilisant QEMU pour simuler des environnements matériels sans avoir besoin de périphériques physiques. L'environnement intègre des chaînes de compilation croisée utilisant Buildroot et crosstool-NG pour cibler les plateformes x86_64, ARMv7 et ARMv8 depuis un seul hôte. Il dispose d'un framework de débogage noyau spécialisé qui exploite GDB et KGDB pour l'exécution pas à pas et l'inspection d'état des processus noyau et utilisateur. Ses larges capacités incluent des tests de régression automatisés pour isoler les échecs de démarrage et fonctionnels via la bissection de contrôle de version, l'abstraction matérielle pour gérer les états d'alimentation du CPU et les registres système, et des primitives de test bas niveau pour l'intégrité de l'état mémoire et l'analyse d'assembleur. Le système inclut également des utilitaires pour le benchmarking de performance des commandes, la journalisation de sortie et l'amorçage d'espaces de travail conteneurisés.