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 是一个内存安全的操作系统内核，旨在防止数据竞争和内存损坏。它作为一个兼容 Linux-ABI 的内核，能够运行现有的 Linux 二进制文件和容器工作负载，同时提供声明式的操作系统分发模型。 该项目的特色在于充当虚拟机容器宿主机和机密计算客户机操作系统，使其能够在 Intel TDX 等硬件隔离的可信执行环境（TEE）中运行。它通过隔离不安全底层操作实现了最小化的可信计算基（TCB），并将核心内核机制与特定策略实现分离开来。 该系统涵盖了广泛的能力，包括物理和虚拟内存管理、对称多处理（SMP），以及针对各种 CPU 架构的硬件抽象。它还包括对安全容器运行时的支持、一套全面的网络和 Socket 原语，以及用于内核编译和仿真的专用工具链。 该项目支持在 x86-64、RISC-V 64 和 LoongArch 64 平台上进行多架构部署。

该项目提供了一个 Linux 内核开发环境和一个系统仿真套件，用于跨多种硬件架构构建和调试内核模块及裸机汇编。它作为一个全面的沙箱和框架，用于底层系统开发，利用 QEMU 模拟硬件环境，无需物理设备。 该环境使用 Buildroot 和 crosstool-NG 集成交叉编译工具链，以从单个主机针对 x86_64、ARMv7 和 ARMv8 平台。它具有一个专门的内核调试框架，利用 GDB 和 KGDB 对内核和用户空间进程进行逐步执行和状态检查。 广泛的功能包括通过版本控制二分法隔离引导和功能故障的自动化回归测试、用于管理 CPU 电源状态和系统寄存器的硬件抽象，以及用于内存状态完整性和汇编分析的底层测试原语。该系统还包括用于命令性能基准测试、输出日志记录和容器化工作区引导的实用工具。