ChenixOS是基于X86-64位架构开发的64位类Unix操作系统，目的是提供一个轻量级、完全可控、可定制的内核以及相关的驱动、用户程序的合集。与Linux/BSD系列不同的是，Chenix OS采用C++面向对象设计的内核。

华中科技大学操作系统和系统能力培养实验代码（PKE）

基于ARM M4系列开发的 嵌入式分时分区实时系统。该系统目前运行于STM32F4控制器上，期望作为高安全领域的嵌入式操作系统应用。