add GP25 as status LED on the Raspberry Pi Pico

Neradoc · Neradoc · commit b36d603cf3ed · 2022-12-19T22:11:30.000+01:00
diff --git a/ports/raspberrypi/boards/raspberry_pi_pico/mpconfigboard.h b/ports/raspberrypi/boards/raspberry_pi_pico/mpconfigboard.h
@@ -1,5 +1,7 @@
 #define MICROPY_HW_BOARD_NAME "Raspberry Pi Pico"
 #define MICROPY_HW_MCU_NAME "rp2040"
 
+#define MICROPY_HW_LED_STATUS (&pin_GPIO25)
+
 #define CIRCUITPY_BOARD_I2C         (1)
 #define CIRCUITPY_BOARD_I2C_PIN     {{.scl = &pin_GPIO5, .sda = &pin_GPIO4}}
