microkernel

Redox 项目团队总结了 NLnet 资助的 Ring Buffer 工作成果：在系统任务层实现了类似 io_uring 的 Redox Rings 接口，支持应用与 scheme 之间零拷贝的异步 I/O 通信，并包含驱动异步执行器与性能优化。

Veda 是一个用 Rust 从零编写、把 AI 代理作为系统一等公民内建其中的“代理原生”操作系统，代理通过与键鼠相同的原生接口操作任意应用，并由系统强制执行用户同意机制。它支持实时语音交互、本地记忆存储，以及可配置的语音识别与模型（基于 Deepgram 平台）。

2026年8月，Redox操作系统带来了重大更新，包括ARM64多核支持、用于I/O性能提升14-15倍的环形缓冲区通信、NUMA实现，以及QEMU兼容性改进。

Proofcraft公司已完成seL4微内核在AArch64架构上的形式化安全证明（包括机密性），并宣布为RISC-V架构验证了MCS seL4，同时在LICS'26会议上提交了一篇理论论文。

本文认为，现代硬件（特别是IOMMU）通过消除上下文切换的开销，使微内核再次变得可行，并建议重新审视微内核设计以提高安全性和可靠性。

QSOE 0.1，一个受QNX启发、具有可选内核（Skimmer微内核或seL4）的操作系统已发布。它面向64位RISC-V硬件，采用Apache-2.0许可证。

QSOE项目v0.1发布，提供与QNX兼容的操作系统，包含两种微内核变体（自定义Skimmer内核和基于seL4的内核），共享用户空间，并支持SiFive Unmatched RISC-V硬件。

Redox OS，一个用Rust编写的类Unix微内核操作系统，分享了其2026年5月的更新，包括宣布夏季代码项目、实现EEVDF调度器，以及I/O事件和文件系统inode缓存的显著性能改进。