acassis opened a new issue, #13566: URL: https://github.com/apache/nuttx/issues/13566
### Description / Steps to reproduce the issue $ export PICO_SDK_PATH=~/pico-sdk $ ./tools/configure.sh raspberrypi-pico:usbnsh $ make -j picotool uf2 convert --quiet -t elf nuttx nuttx.uf2; /usr/bin/bash: line 1: picotool: command not found ### On which OS does this issue occur? [OS: Linux] ### What is the version of your OS? Ubuntu 24.10 ### NuttX Version master ### Issue Architecture [Arch: arm] ### Issue Area [Area: Build System] ### Verification - [X] I have verified before submitting the report. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
