Having just started to play with nuttx running on Raspberry Pi Pico, I discovered that configuring support for the unique id functions results in a build of nuttx that fails. My understanding is that support for this is not currently added. One can find code for this for other boards in the corresponding directory tree of nuttx.
Reading in the archives of this list, it is not recommended to use functions from the Pico-sdk. So new driver code should be added. What is the recommended way of adding this functionality? Adding the interface in a separate file of boards/arm/rp2040/raspberry-pi-pico/src/ and Make.defs seems easy. But where would the code for actually interfacing with the flash best go? Anders