标签
Proofcraft公司已完成seL4微内核在AArch64架构上的形式化安全证明（包括机密性），并宣布为RISC-V架构验证了MCS seL4，同时在LICS'26会议上提交了一篇理论论文。
QSOE 0.1，一个受QNX启发、具有可选内核（Skimmer微内核或seL4）的操作系统已发布。它面向64位RISC-V硬件，采用Apache-2.0许可证。