内核漫步 – Apple 如何使用飞地重新排列其 Xnu 内核
发布时间：2025年3月9日 来源：szf
快速阅读: 据《The Register》最新报道，苹果公司执行研究员Random Augustine发现，安全内核（SK）镜像文件中的版本字符串“cL4”可能指涉使用在原始SepOS（安全 enclave 处理器操作系统）中的L4-嵌入式cL4内核。然而，XNU用于与SK通信的IPC结构更类似于seL4，这是一种高安全性的微内核。
苹果公司的一位执行研究员Random Augustine观察到，安全内核（SK）镜像文件包含一个版本字符串“cL4”，这可能是指原始SepOS（安全 enclave 处理器操作系统）中使用的L4-嵌入式cL4内核。然而，XNU用于与SK通信的IPC结构看起来更像是seL4，一种高安全性的微内核。
(以上内容均由Ai生成)
