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
Hi guys, in this video I explain how you can connect the APDS-9960 Gesture Sensor on BluePill (stm32f103-minimum) board and how to configure the NuttX RTOS to use it.
...
https://www.youtube.com/watch?v=czwQRwI2WE4
This video tutorial explains how to share your computer connection with the STM32F4Discovery board using Ethernet-over-USB.
...
https://www.youtube.com/watch?v=dk3jqhn9XQ4