You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2021/12/29 07:48:38 UTC

[GitHub] [incubator-nuttx] yunkya2 commented on pull request #2916: arm/rp2040: Raspberry Pi Pico SMP support

yunkya2 commented on pull request #2916:
URL: https://github.com/apache/incubator-nuttx/pull/2916#issuecomment-1002441758


   As the last line of your attached screenshot shows, you need to set the environment variable PICO_SDK_PATH before NuttX build to specify the directory where Raspberry Pi Pico SDK exists.
   
   Please follow the instructions written in README.txt
   
   > 1. Download Raspberry Pi Pico SDK
   > 
   >   $ git clone -b 1.1.2 https://github.com/raspberrypi/pico-sdk.git
   > 
   > 2. Set PICO_SDK_PATH environment variable
   > 
   >   $ export PICO_SDK_PATH=<absolute_path_to_pico-sdk_directory>
   


-- 
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: commits-unsubscribe@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org