rp2/boards/RPI_PICO2: Add new RPI_PICO2 board definition.

This is the same form-factor as the Pico but with an RP2350.

Signed-off-by: Damien George <damien@micropython.org>

ports/rp2/boards/RPI_PICO2/board.json

@@ -0,0 +1,22 @@
+{
+    "deploy": [
+        "../deploy.md"
+    ],
+    "docs": "",
+    "features": [
+        "Dual-core",
+        "External Flash",
+        "USB"
+    ],
+    "images": [
+        "rp2-pico2.jpg"
+    ],
+    "mcu": "rp2350",
+    "product": "Pico 2",
+    "thumbnail": "",
+    "url": "https://www.raspberrypi.com/products/raspberry-pi-pico-2/",
+    "variants": {
+        "RISCV": "RISC-V CPU mode"
+    },
+    "vendor": "Raspberry Pi"
+}

ports/rp2/boards/RPI_PICO2/mpconfigboard.cmake

@@ -0,0 +1,5 @@
+# cmake file for Raspberry Pi Pico2
+set(PICO_BOARD "pico2")
+
+# To change the gpio count for QFN-80
+# set(PICO_NUM_GPIOS 48)

ports/rp2/boards/RPI_PICO2/mpconfigboard.h

@@ -0,0 +1,3 @@
+// Board and hardware specific configuration
+#define MICROPY_HW_BOARD_NAME                   "Raspberry Pi Pico2"
+#define MICROPY_HW_FLASH_STORAGE_BYTES          (PICO_FLASH_SIZE_BYTES - 1024 * 1024)

ports/rp2/boards/RPI_PICO2/mpconfigvariant.cmake

@@ -0,0 +1 @@
+set(PICO_PLATFORM "rp2350")

ports/rp2/boards/RPI_PICO2/mpconfigvariant_RISCV.cmake

@@ -0,0 +1 @@
+set(PICO_PLATFORM "rp2350-riscv")

ports/rp2/boards/RPI_PICO2/pins.csv

@@ -0,0 +1,28 @@
+GP0,GPIO0
+GP1,GPIO1
+GP2,GPIO2
+GP3,GPIO3
+GP4,GPIO4
+GP5,GPIO5
+GP6,GPIO6
+GP7,GPIO7
+GP8,GPIO8
+GP9,GPIO9
+GP10,GPIO10
+GP11,GPIO11
+GP12,GPIO12
+GP13,GPIO13
+GP14,GPIO14
+GP15,GPIO15
+GP16,GPIO16
+GP17,GPIO17
+GP18,GPIO18
+GP19,GPIO19
+GP20,GPIO20
+GP21,GPIO21
+GP22,GPIO22
+GP25,GPIO25
+GP26,GPIO26
+GP27,GPIO27
+GP28,GPIO28
+LED,GPIO25