Awesome GitHub RepositoriesRemote Kernel Debugging

XNU 是一个混合操作系统内核，结合了微内核架构和用于系统服务的单体层。它为操作系统开发提供了基础，结合了标准化的系统调用接口、模块化设备驱动程序框架和强制访问控制安全。 该架构具有基于 Mach 的微内核和基于 BSD 的单体层。它利用消息传递进程间通信总线在隔离的内核组件和用户空间进程之间进行安全数据交换，以及将硬件特定逻辑与核心内核解耦的面向对象驱动程序框架。 该系统包括用于策略驱动安全执行的强制访问控制引擎，以及用于检查实时内存和分析系统崩溃的远程内核调试器。附加能力涵盖多处理器调度、硬件资源协调以及用于跨不同架构生成可引导镜像的构建系统。 该项目提供用于内核构建管理、调试符号生成的工具，以及用于系统调用验证的框架。

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