BUPT-OS's tracked open-source repos, sorted by stars.
RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C).
