Xenomai在龙芯3a5000cpu配套的火龙demo板上的微内核应用。 目前支持的CPU包括龙芯3a4000和龙芯3a5000, 配套的Linux内核版本是4.19.190，Xenomai版本是3.1.2

础光Linux是基于开源Linux优化的强实时操作系统，可以支持智能汽车仪表/娱乐/自动驾驶等对实时性要求的场景。础光Linux希望通过抛砖引玉，持续在Linux实时性/可靠性/安全性上进行研究，为汽车/工业控制/机器人等领域提供基础操作系统。欢迎各位Linux爱好者、行业的开发者提出想法、建议和参与开发，维护一个在智能场景适用性较广的实时Linux社区发行版。

OpenCloudOS-Kernel is the kernel of OpenCloudOS release, which has been fully optimized.

OneOS是中国移动针对物联网领域推出的轻量级操作系统，具有可裁剪、跨平台、低功耗、高安全等特点，支持ARM Cortex-M/R/A、MIPS、RISC-V等主流CPU架构，兼容POSIX、CMSIS等标准接口，支持Micropython语言开发，提供图形化开发工具，能够有效提高开发效率并降低开发成本，帮助客户开发稳定可靠、安全易用的物联网应用。 官网地址：https://os.iot.10086.cn/

MKRTOS 全称是 Micro-Kernel Real-Time Operating System，中文名字是微内核实时操作系统。

Cloud Kernel 是龙蜥操作系统(Anolis OS)内核，目前已经达到 300 多万部署规模. 它基于Linux社区主线稳定版. 致力于打造更稳定, 更可靠, 更安全, 特性更丰富, 性能更优化的 Linux 系统内核. 为 Anolis OS 以及下游生态合作 OS 发行版提供坚实的内核支持, 更好的支撑和扩展上层业务应用.

NXOS（Next XBook OS），the kernel of BookOS and GuEeOS or other OS.

超轻量级实时操作系统，适合在8051为内核的MCU上运行，专门为小型家电及简易物联网终端设计。

An Open Source, a standards-based software platform for IoT devices, including smartwatch, TVs, and automotive infotainment platforms.

LiteOS kernel for embedded devices with rich resources | 适用于资源较丰富嵌入式设备的LiteOS内核

LiteOS kernel for devices with few resources, such as the MCU | 适用于MCU等各种资源极小设备的LiteOS内核

TencentOS-kernel 是腾讯针对云的场景研发的服务器操作系统

xbook2是一个基于x86处理器的32位操作系统，实现了大量的基础功能，可以拿来学习操作系统知识。

玄武操作系统是一个运行在单片机上的通用操作系统，可应用于各种需要单片机的场景。 玄武OS的内核是假定系统为多核系统(SMP)来设计的，但也提供单核(UP)精简版的内核

玄武内核模块是一个Linux内核模块，在Linux内核中实现了玄武OS的各种API。