ดาวเทียมจีนใช้ dual kernel ซึ่งตัวนึงในนั้นเป็นแบบ realtime เขียนด้วย Rust ทำงานคู่กับ Linux

https://techhub.social/@LinuxToday/111579645518383692