"Built on the open-source real-time operating system #NuttX, Xiaomi Vela provides unified software services across various #IoT hardware platforms"

https://www.gizmochina.com/2023/11/16/xiaomis-self-developed-iot-platform-vela-goes-open-source/