L4H：基于 seL4 的 Linux Type-1 虚拟机管理程序发布

开发者 losfair 发布 L4H：一个基于 seL4 微内核的 Type-1 hypervisor，以 seL4 用户态线程运行 Linux 内核，不依赖 VT-x/AMD-V/EL2 等硬件虚拟化能力。 losfair 称 L4H 在 2020 年及之后的 Intel 和 AMD CPU 上已达到生产可用，包括裸机和 KVM 虚拟机内。项目还包含实验性的内核内 AArch64 模拟 kemu，称比 qemu-user 快 10 倍以上。 授权方面，L4H hypervisor 采用 GPL-2.0-only，用户态工具采用 BSD-2-Clause。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。