BUPT-RTOS is a Real-Time OS(RTOS) using dual-kernel method. The real time part is a microkernel written in rust.

1. debug list
   • Here lists the common bugs we have met and gives their solutions.
   • debug_list
2. feature list
   • Here lists the features we want to achieve in rust and the methods for accomplish them.
   • feature_list

1. rCore: An OS writen in rust.
   • HomePage
   • Details
2. RT-Linux: The earliest dual-kernel RTOS. It is shutdown by WindRiver in 2010.
   • Homepage is shutdown by WindRiver.
   • Details
3. RTL: A project aimming at enhancing th real-time ability of Linux. It is achived in the single kernel way.
   • HomePage
   • Details
4. Xenomai: It is the most activate dual-kernel RTOS.
   • HomePage
   • Details
5. RTAI：Another dual-kernel RTOS. But it is less activate than Xenomai.
   • HomePage
   • Details

1. Operating System
   • Details
2. Rust
   • Details
3. Satellite
   • Details