Hi Lukas, I just installed Ubuntu 21.04 and followed the README.txt and duplicated your issue:
$ sudo apt-get install automake bison build-essential flex gcc-arm-none-eabi gperf git libncurses5-dev libtool libusb-dev libusb-1.0.0-dev pkg-config git $ git clone -b master https://github.com/raspberrypi/pico-sdk.git $ sudo mkdir /opt/rasp_pico $ sudo mv pico-sdk /opt/rasp_pico/ $ export PICO_SDK_PATH=/opt/rasp_pico/pico-sdk $ git clone https://github.com/apache/incubator-nuttx.git nuttx $ git clone https://github.com/apache/incubator-nuttx-apps.git apps $ make distclean NuttX has not been configured! To configure the project: tools/configure.sh <config> For a list of available configurations: tools/configure.sh -L $ ./tools/configure.sh raspberrypi-pico:nsh $ make ... arm-none-eabi-gcc -nostartfiles -nodefaultlibs -T/tmp/nuttx/boards/arm/rp2040/raspberrypi-pico/scripts/raspberrypi-pico-flash.ld -DPICO_BOARD=\"pico\" -DPICO_BUILD=1 -DPICO_NO_HARDWARE=0 -DPICO_ON_DEVICE=1 -Ichip/boot2 -I/opt/rasp_pico/pico-sdk/src/rp2_common/boot_stage2/asminclude -I/opt/rasp_pico/pico-sdk/src/rp2040/hardware_regs/include -I/opt/rasp_pico/pico-sdk/src/rp2_common/hardware_base/include -I/opt/rasp_pico/pico-sdk/src/common/pico_base/include -I/opt/rasp_pico/pico-sdk/src/boards/include -I/opt/rasp_pico/pico-sdk/src/rp2_common/pico_platform/include -o rp2040_boot_stage2.elf /opt/rasp_pico/pico-sdk/src/rp2_common/boot_stage2/boot2_w25q080.S In file included from /opt/rasp_pico/pico-sdk/src/rp2_common/pico_platform/include/pico/asm_helper.S:7, from /opt/rasp_pico/pico-sdk/src/rp2_common/boot_stage2/boot2_w25q080.S:29: /opt/rasp_pico/pico-sdk/src/common/pico_base/include/pico.h:20:10: fatal error: pico/version.h: No such file or directory 20 | #include "pico/version.h" | ^~~~~~~~~~~~~~~~ compilation terminated. make[2]: *** [chip/boot2/Make.defs:49: rp2040_boot_stage2.elf] Error 1 make[2]: Leaving directory '/tmp/nuttx/arch/arm/src' make[1]: *** [Makefile:188: .depend] Error 2 make[1]: Leaving directory '/tmp/nuttx/arch/arm/src' make: *** [tools/Makefile.unix:494: pass2dep] Error 2 I think there is some issue on their current repository because version.h doesn't exist, it should be generated using cmake. Note it still referenced in their documentation: https://raspberrypi.github.io/pico-sdk-doxygen/pico_8h_source.html I suggest you to return to the older version until we understand how the new SDK work and modify NuttX to adapt to it. I fixed is here this way: $ cd /opt/rasp_pico/pico-sdk $ git reset --hard 26653ea81e340 BR, Alan On 11/20/21, Lukáš Málek <malek.l...@gmail.com> wrote: > Dear Sir/Madam, > > I have been struggling for more than three days with building nuttx for > Raspberry Pi Pico. I follow the guide Getting started. At the > compilation, I run the following commands to compile the Nuttx. > > /$git clone -b master https://github.com/raspberrypi/pico-sdk.git// > //$export PICO_SDK_PATH="<abs_path_to_pico-sdk>"// > //$cd nuttx// > //$./tools/configure.sh -l raspberrypi-pico:nsh// > //$make/ > > Unfortunately, after making it, I got an error. > /File pico/version.h can't be found/ > > At pico-SDK, I can see a file version.h.ini, so I rename it to > version.h, but after that, I got an error message that > /File "pico/config_autogen.h" can't be found/ > > This error is the dead-end for me. I have tried to comment the line. > Also, I created the file that is attached, both resulting in a > successful build. Unfortunately, the serial port is not working after > uploading the u2f file to Qt Py RP2040 (Based on Raspberry Pi Pico). In > Device Manager and Zadig, I can see that nothing is connected to the > port. Is it possible that during the build, the communication via USB is > not activated? In this case, how can I do that? I have tested the serial > port using CMake and pico-sdk. The communication via serial port worked, > so there must be a problem with the software. > > I would be very grateful for any help since I have tried everything, but > nothing worked. My nuttx folder, as well as the pico-SDK library, is > attached. > > Sincerely, > Lukas Malek