Show HN· losfair·2026-10-23 17:59· 10 天前AI 评分35

L4ES – 基于 seL4 微内核的 Linux 沙盒

Show HN: L4ES – Linux sandboxes powered by the seL4 microkernel

AI 导读

L4ES 是一个基于 seL4 微内核的 Linux 沙盒，旨在提供更安全的隔离环境。该沙盒利用 seL4 的安全特性，为用户和应用程序提供更高的安全性保障。

来源：Show HN · l4es.dev

#开源/仓库 #硬件 #新架构