boards/rpi-pico-2: rename arm pico 2 version to rpi-pico-2-arm

Author: AnnsAnns

boards/rpi-pico-2/Kconfig renamed to boards/rpi-pico-2-arm/Kconfig

@@ -3,9 +3,9 @@
 # SPDX-License-Identifier: LGPL-2.1-only
 
 config BOARD
-    default "rpi-pico-2" if BOARD_RPI_PICO_2
+    default "rpi-pico-2-arm" if BOARD_RPI_PICO_2_ARM
 
-config BOARD_RPI_PICO_2
+config BOARD_RPI_PICO_2_ARM
     bool
     default y
-    select CPU_MODEL_RP2350_RISCV
+    select CPU_MODEL_RP2350_ARM

boards/rpi-pico-2/Makefile renamed to boards/rpi-pico-2-arm/Makefile

@@ -1,7 +1,10 @@
 echo "Make sure to use the Raspberry Pi OpenOCD version!"
+echo "For further details see Appendix A Building OpenOCD:"
+echo "https://datasheets.raspberrypi.com/pico/getting-started-with-pico.pdf"
 source [find target/rp2350.cfg]
-set USE_CORE 0
+set USE_CORE SMP
 set RESCUE 1
 $_TARGETNAME_0 configure -rtos auto
 adapter speed 5000
 rp2350.dap.core1 cortex_m reset_config sysresetreq
+rp2350.dap.core0 cortex_m reset_config sysresetreq

boards/rpi-pico-2/Makefile.features renamed to boards/rpi-pico-2-arm/Makefile.features

@@ -76,21 +76,21 @@ To do this, you need to connect the board to your computer
 and use the following command:
 
 ```bash
-PROGRAMMER=openocd BOARD=rpi-pico-2 make flash
+PROGRAMMER=openocd BOARD=rpi-pico-2-arm make flash
 ```
 
 You can then debug your application using GDB with the following command:
 
 ```bash
-PROGRAMMER=openocd BOARD=rpi-pico-2 make debug
+PROGRAMMER=openocd BOARD=rpi-pico-2-arm make debug
 ```
 
 ### Flashing using Picotool
 
 Simply connect the board to your computer via USB and use the following command:
 
 ```bash
-BOARD=rpi-pico-2 make flash
+BOARD=rpi-pico-2-arm make flash
 ```
 
 This is the default method for flashing the Raspberry Pi Pico 2.