This is an automated email from the ASF dual-hosted git repository.

xiaoxiang pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/nuttx.git


The following commit(s) were added to refs/heads/master by this push:
     new 9d1e7a0510 docs: Update Raspberry Pi Pico and Pico W docs to include 
the new SDK version and `picotool` instructions.
9d1e7a0510 is described below

commit 9d1e7a05105bf8823285c1096dbc203235158471
Author: Matteo Golin <[email protected]>
AuthorDate: Sun Sep 15 22:50:59 2024 -0400

    docs: Update Raspberry Pi Pico and Pico W docs to include the new SDK 
version and `picotool` instructions.
---
 .../arm/rp2040/boards/raspberrypi-pico-w/README.txt     | 16 ++++++++++++----
 .../arm/rp2040/boards/raspberrypi-pico/README.txt       | 17 ++++++++++++-----
 2 files changed, 24 insertions(+), 9 deletions(-)

diff --git 
a/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico-w/README.txt 
b/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico-w/README.txt
index 43812d83ff..f56681d409 100644
--- a/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico-w/README.txt
+++ b/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico-w/README.txt
@@ -50,11 +50,19 @@ Installation
   $ cd pico-sdk
   $ git submodule update --init --recursive lib/cyw43-driver
 
-2. Set PICO_SDK_PATH environment variable
+2. Download and install picotool
+
+  Instructions can be found here: https://github.com/raspberrypi/picotool
+
+  If you are on Arch Linux, you can install the picotool through the AUR:
+  $ yay -S picotool
+
+
+3. Set PICO_SDK_PATH environment variable
 
   $ export PICO_SDK_PATH=<absolute_path_to_pico-sdk_directory>
 
-3. Configure and build NuttX
+4. Configure and build NuttX
 
   $ git clone https://github.com/apache/nuttx.git nuttx
   $ git clone https://github.com/apache/nuttx-apps.git apps
@@ -63,12 +71,12 @@ Installation
   $ ./tools/configure.sh raspberrypi-pico:nsh
   $ make V=1
 
-4. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
+5. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
    The board will be detected as USB Mass Storage Device.
    Then copy "nuttx.uf2" into the device.
    (Same manner as the standard Pico SDK applications installation.)
 
-5. To access the console, GPIO 0 and 1 pins must be connected to the
+6. To access the console, GPIO 0 and 1 pins must be connected to the
    device such as USB-serial converter.
 
    `usbnsh` configuration provides the console access by USB CDC/ACM serial
diff --git 
a/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico/README.txt 
b/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico/README.txt
index 735b561040..5a180cd0dc 100644
--- a/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico/README.txt
+++ b/Documentation/platforms/arm/rp2040/boards/raspberrypi-pico/README.txt
@@ -45,13 +45,20 @@ Installation
 
 1. Download Raspberry Pi Pico SDK
 
-  $ git clone -b 1.1.2 https://github.com/raspberrypi/pico-sdk.git
+  $ git clone -b 2.0.0 https://github.com/raspberrypi/pico-sdk.git
 
-2. Set PICO_SDK_PATH environment variable
+2. Download and install picotool
+
+  Instructions can be found here: https://github.com/raspberrypi/picotool
+
+  If you are on Arch Linux, you can install the picotool through the AUR:
+  $ yay -S picotool
+
+3. Set PICO_SDK_PATH environment variable
 
   $ export PICO_SDK_PATH=<absolute_path_to_pico-sdk_directory>
 
-3. Configure and build NuttX
+4. Configure and build NuttX
 
   $ git clone https://github.com/apache/nuttx.git nuttx
   $ git clone https://github.com/apache/nuttx-apps.git apps
@@ -60,12 +67,12 @@ Installation
   $ ./tools/configure.sh raspberrypi-pico:nsh
   $ make V=1
 
-4. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
+5. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
    The board will be detected as USB Mass Storage Device.
    Then copy "nuttx.uf2" into the device.
    (Same manner as the standard Pico SDK applications installation.)
 
-5. To access the console, GPIO 0 and 1 pins must be connected to the
+6. To access the console, GPIO 0 and 1 pins must be connected to the
    device such as USB-serial converter.
 
    `usbnsh` configuration provides the console access by USB CDC/ACM serial

Reply via email to