Building NuttX for rp2040 touches two files below the pico-sdk directory, as can be seen in nuttx/arch/arm/src/rp2040/boot2/Make.defs Soon after the (empty) files are used they are deleted.
This obviously fails if there is no write access to the directory where it tries to write. For instance if one has installed the pico-sdk-src package on Debian or Ubuntu. What is the need for this method? Is it necessary to have write access to the pico-sdk tree? Btw, similar stuff seem to be in other makefiles elsewhere in the NuttX source tree. Anders
