作者在2022-2023年开发了名为Hermes的微内核，支持对称多处理（SMP），并简化了系统调用和资源管理。Hermes在设计上更为稳健，用户空间进行了重大改进，采用了上游Hare标准库，并加强了测试，以确保在多种硬件上稳定运行。

L4RE的微内核使用名为Preprocess的C++模块预处理器，允许以单源文件模块形式编写C++代码，但不支持命名空间和嵌套类。其语法和功能与现代C++存在差异，可能影响开发环境的兼容性和可读性。

本文介绍了L4Re项目的构建过程，包括依赖项、环境设置和目录结构。用户需使用ham工具准备源代码，并通过一系列命令构建L4和微内核fiasco，步骤包括初始化构建目录、编译源代码和生成目标文件。

微内核相较于单体内核的主要动机是实现系统组件的隔离，降低复杂性，提升安全性和弹性。小型可信计算基（TCB）和用户级系统组件则提供了灵活性和可扩展性。

L4RE是一个微内核操作系统，采用对象和能力的概念，任务通过能力访问内核对象。其进程间通信（IPC）是同步的，使用用户级线程控制块（UTCB）进行系统调用。基本组件包括用户级库、任务加载器和资源管理器。

RedoxOS 是用 Rust 开发的微内核操作系统，旨在提供更安全稳定的体验。支持 x86-64、i686 和 Arm 架构，与 POSIX 兼容，可运行 Linux/BSD 软件。由 Jeremy Soller 创立，采用 MIT 许可证。目前仍在开发中，未来将支持更多硬件和功能。

理解架构设计模式对设计可扩展和可维护的系统至关重要。常见模式包括：客户端-服务器架构、点对点系统、事件驱动架构和微内核架构。选择合适的架构能提升系统的可扩展性和维护性。

华为发布鸿蒙操作系统，采用微内核和轻应用设计，具有跨平台和省电特点。鸿蒙系统已支持5000多款应用，但与安卓相比仍有差距。腾讯意外走红，与华为商议分成问题。鸿蒙系统的成功与否有待观察。

微内核操作系统是一种高效支持多处理机运行的操作系统结构，将操作系统划分为微内核和多个服务器，采用客户/服务器模式和面向对象技术。它具有提高系统可扩展性、可靠性和可移植性的优点，能够支持分布式系统和网络系统。然而，由于上下文切换次数增加，运行效率有所降低。

KBLAS是一种新的开源高性能库，提供针对CUDA启用的GPU的高优化的2级BLAS功能，性能比现有实现超越50％至60％，并已集成到NVIDIA的标准BLAS实现中。

Helios是用Hare语言编写的微内核，最近在FOSDEM上演示。最初计划为x86_64架构开发，最终移植到aarch64架构，并为Raspberry Pi编写了驱动程序。文章详细介绍了启动过程，包括引导加载程序、内核配置和运行时服务的实现，以及处理EFI和设备树的复杂性。经过42天的努力，成功实现了aarch64的引导加载程序，并在FOSDEM上展示了成果。

FOSDEM即将举行，作者将参与Helios微内核和Hare编程语言的讨论。会议将介绍Hare在内核中的应用、设计和实现细节，并与seL4进行比较。此外，还将举行Hare社区和SourceHut社区的聚会，讨论未来计划和项目。