Hacker News Show HN· losfair·· 3 小时前AI 评分25
Show HN：L4ES —— 基于 seL4 的可验证 Linux 微虚拟机
Show HN: L4ES – verifiable Linux microVMs powered by seL4
AI 导读
L4ES 在 Hacker News 的 Show HN 板块发布，是一款由 seL4 驱动的可验证 Linux 微虚拟机。该条目当前获得 2 分、0 条评论。
来源：Hacker News Show HN · l4es.dev