Nice post for a guy (apparently with previous Linux experience, that type of person normally find their way well on NuttX) moving from baremetal to RTOS:
https://blog.brixit.nl/moving-to-a-rtos-on-the-rp2040/ The issue he commented about "make distclean" not working is serious and we need to find a solution to work transparently. Instead of cloning nuttx and apps again and again as he just did, I just remove the .config and run ./tools/configure.sh again without problem. But obviously it is not the ideal solution, we need to find a way to keep apps and nuttx in sync or at least no mess with our users. BR, Alan
