#sel4

2 篇文章 · 全部标签

📰 相关日报

2026年8月24日

团子技术日报 vol.73：万物皆可被拥有；Anthropic 的付费焦虑；Harness 到底是什么

设备所有权AnthropicHarnessSQLite

📡 相关事件

2026年8月25日

seL4 在 AArch64 集齐三张安全证明，内核验收标准从测试升到了数学

formal verificationsecuritykernelseL4