I think the Seeed Studio XIAO RP2350 will run NuttX soon too. Just saw the pr.https://github.com/apache/nuttx/pull/15968