In this video Guiding Li shows how Xiaomi used RPTUN / RPMSG to exchange messages of many microcontrollers used on Xiaomi Watch S1 Pro. It was a really good surprise to discover that this Xiaomi smartwatch is running NuttX.
...
https://www.youtube.com/watch?v=6uehz3WQ0vU