← Back to feed
IT·技术 · 2026-10-31 12:31
L4H is an open-source hypervisor built on the formally verified seL4 microkernel, designed to run Linux virtual machines with a strong emphasis on high-security isolation.
Source: github.com
Auto-generated summary for reference only. RSS