BUPT-RTOS 是一个实时操作系统，实时内核部分采用rust编写。
- rCore: 清华大学采用Rust编写的内核。
- RT-Linux: 最早的双内核Linux实时操作系统，被风河公司收购后关停。
- 没有主页，现在已经关停
- 细节
- RTL: Linux基金会的一个项目，目前维护了一个实时性较好的Linux分支，以补丁集的形式增强Linux实时性，是目前单内核路线上的主要项目。
- Xenomai: 目前最活跃的双内核Linux实时操作系统。
- RTAI：另一个双内核Linux实时操作系统，但是活跃程度一般。