发布于 2026-09-10T06:53:45.815913Z · Proofcraft · Proofcraft
证明边界只到内核强制，启动链、硬件、DMA 与用户态组件仍要逐层补齐。
来源记录
- center.info_item · 6036a1a04f0ed682 · 2026-10-03T04:08:35.169032Z
- pgweb.info_item · 6036a1a04f0ed682 · 2026-10-03T04:08:55.967155Z
seL4 在 AArch64 上完成机密性证明 RSS
证明边界只到内核强制，启动链、硬件、DMA 与用户态组件仍要逐层补齐。