Hacker News· losfair·· 3 小时前AI 评分50
Show HN：L4H——基于 seL4 的 Linux 虚拟机 Type-1 hypervisor
Show HN: L4H – seL4-based hypervisor for Linux VMs
AI 导读
L4H 是基于 seL4 微内核的 Type-1 hypervisor，以 seL4 用户态线程运行 Linux 内核，不依赖 VT-x/AMD-V/EL2 等硬件虚拟化能力。
来源：Hacker News · github.com