Seeed Studio XIAO Runs Apache NuttX RTOS(nuttx.apache.org)

https://nuttx.apache.org/docs/latest/platforms/arm/rp23xx/boards/xiao-rp2350/index.html