Rust 写微内核加能力安全，这三重组合真能跑通吗？

有人问：Rust 写微内核，再加上能力安全模型，是不是有点过于超前？我看到一个项目叫 Jinn，正由开发者 Geovane Estanislau 主导，用 Rust 构建微内核，安全机制采用能力（capability）模型——一种老得够年头、但理论上极其优雅的安全范式。说实话，这条路径在学术圈有根基，从 EROS 到 SeL4，能力安全被证明可行，工业落地却一直卡住。Jinn 现在还只是开源早期阶段，缺贡献者。如果它真能跑通，Rust 加能力安全加微内核这三重组合，可能成为下一代操作系统安全底座里少数值得认真看的候选。但现阶段，我更愿意说：它是个值得关注的方向，离真正可用还有不短的路。

原文：Jinn – a Rust microkernel with capability-base security looking f contributors · 来源：Hacker News