Hello again, I have followed Greg's advice and put the files in arch/arm/rp23xx
I have some more questions for you. I start a new email thread to not generate noise in the previous discussion. 1. The RP port needs some hardware (include) files from pico-sdk. Should I: a. put the instructions how to download pico sdk and set PICO_SDK_PATH so we can use the files from there b. download the pico-sdk automatically in the Makefile and use it to build c. copy the relevant files from pico-sdk to Nuttx tree 2. (if answer to Q1 is option a, then), should I reformat the imported code to match NuttX or I can just drop the files there without any modifications? (they are BSD-licensed) 3. Should I aim to make this port work on rp2040 (and rename it to rp2xxx) - the drivers are very similar, or should I keep it separated and target rp23xx only? 4. How should I test the peripherals? I don't have all the LCD displays and the other accessories supported by RP2040 port. Should I: a. keep the peripherals code for LCD, etc and hope that it will work (explain in the documentation that it is not tested) b. just add the minimum code without those peripherals support c. buy the missing stuff or find other people to test it before I open the PR by the way, of anyone is interested in testing and helping there is my WIP branch (very dirty for now) here it is: https://github.com/casaroli/nuttx/tree/pico2 My next steps are to test SMP, UART1, SPI, I2C, ADC, DMA (that I can do without other accessories). Thank you.