Tweaks to the board-header files so that they pass check_board_header.py
diff --git a/src/boards/include/boards/amethyst_fpga.h b/src/boards/include/boards/amethyst_fpga.h
index d41dff4..ea6b9a2 100644
--- a/src/boards/include/boards/amethyst_fpga.h
+++ b/src/boards/include/boards/amethyst_fpga.h
@@ -11,6 +11,8 @@
// FIXME delete this file before release (board file for Amethyst FPGA platform)
+// pico_cmake_set PICO_PLATFORM=rp2350
+
#ifndef _BOARDS_AMETHYST_FPGA_H
#define _BOARDS_AMETHYST_FPGA_H
diff --git a/src/boards/include/boards/defcon32_badge.h b/src/boards/include/boards/defcon32_badge.h
index 6e99ca5..0c5f3d4 100644
--- a/src/boards/include/boards/defcon32_badge.h
+++ b/src/boards/include/boards/defcon32_badge.h
@@ -9,13 +9,6 @@
// SHOULD ONLY CONSIST OF PREPROCESSOR DIRECTIVES
// -----------------------------------------------------
-// NOTE: since there is no UART on the badge, you should probably pass:
-// -DPICO_BOARD=defcon32_badge -DPICO_STDIO_USB=1 -DPICO_STDIO_UART+0
-// when building to set up stdio over USB CDC by default
-#define PICO_DEFAULT_UART 0
-#define PICO_DEFAULT_UART_TX_PIN 30
-#define PICO_DEFAULT_UART_RX_PIN 31
-
// pico_cmake_set PICO_PLATFORM=rp2350
#ifndef _BOARDS_DEFCON32_BADGE_H
@@ -56,6 +49,11 @@
#define DEFCON32_BADGE_IR_RX_PIN 27
#define DEFCON32_BADGE_IR_TX_PIN 28
+// --- UART ---
+// NOTE: since there is no UART on the badge, you should probably pass:
+// -DPICO_BOARD=defcon32_badge -DPICO_STDIO_USB=1 -DPICO_STDIO_UART=0
+// when building to set up stdio over USB CDC by default
+
// --- LED ---
// no PICO_DEFAULT_LED_PIN
#ifndef PICO_DEFAULT_WS2812_PIN
@@ -75,16 +73,16 @@
// --- SPI ---
#ifndef PICO_DEFAULT_SPI
-#define PICO_DEFAULT_SPI 0
+#define PICO_DEFAULT_SPI 1
#endif
#ifndef PICO_DEFAULT_SPI_SCK_PIN
#define PICO_DEFAULT_SPI_SCK_PIN DEFCON32_BADGE_SPI_CK_PIN
#endif
#ifndef PICO_DEFAULT_SPI_TX_PIN
-#define PICO_DEFAULT_SPI_TX_PIN DEFCON32_BADGE_SPI_MISO_PIN
+#define PICO_DEFAULT_SPI_TX_PIN DEFCON32_BADGE_SPI_MOSI_PIN
#endif
#ifndef PICO_DEFAULT_SPI_RX_PIN
-#define PICO_DEFAULT_SPI_RX_PIN DEFCON32_BADGE_SPI_MOSI_PIN
+#define PICO_DEFAULT_SPI_RX_PIN DEFCON32_BADGE_SPI_MISO_PIN
#endif
// multiple devices, so this doesn't make much sense
// no PICO_DEFAULT_SPI_CSN_PIN
diff --git a/src/boards/include/boards/gen4_rp2350_24.h b/src/boards/include/boards/gen4_rp2350_24.h
index c569c15..dc8b9f8 100644
--- a/src/boards/include/boards/gen4_rp2350_24.h
+++ b/src/boards/include/boards/gen4_rp2350_24.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_24
-#define _BOARDS_GEN4_RP2350_24
+#ifndef _BOARDS_GEN4_RP2350_24_H
+#define _BOARDS_GEN4_RP2350_24_H
// For board detection
#define GEN4_RP2350_24
diff --git a/src/boards/include/boards/gen4_rp2350_24ct.h b/src/boards/include/boards/gen4_rp2350_24ct.h
index 2f6f154..39632fa 100644
--- a/src/boards/include/boards/gen4_rp2350_24ct.h
+++ b/src/boards/include/boards/gen4_rp2350_24ct.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_24CT
-#define _BOARDS_GEN4_RP2350_24CT
+#ifndef _BOARDS_GEN4_RP2350_24CT_H
+#define _BOARDS_GEN4_RP2350_24CT_H
// For board detection
#define GEN4_RP2350_24CT // CLB variants are exactly the same in operation
diff --git a/src/boards/include/boards/gen4_rp2350_24t.h b/src/boards/include/boards/gen4_rp2350_24t.h
index 2d01017..d1bfbf4 100644
--- a/src/boards/include/boards/gen4_rp2350_24t.h
+++ b/src/boards/include/boards/gen4_rp2350_24t.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_24T
-#define _BOARDS_GEN4_RP2350_24T
+#ifndef _BOARDS_GEN4_RP2350_24T_H
+#define _BOARDS_GEN4_RP2350_24T_H
// For board detection
#define GEN4_RP2350_24T
diff --git a/src/boards/include/boards/gen4_rp2350_28.h b/src/boards/include/boards/gen4_rp2350_28.h
index 804b2a9..a005be7 100644
--- a/src/boards/include/boards/gen4_rp2350_28.h
+++ b/src/boards/include/boards/gen4_rp2350_28.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_28
-#define _BOARDS_GEN4_RP2350_28
+#ifndef _BOARDS_GEN4_RP2350_28_H
+#define _BOARDS_GEN4_RP2350_28_H
// For board detection
#define GEN4_RP2350_28
diff --git a/src/boards/include/boards/gen4_rp2350_28ct.h b/src/boards/include/boards/gen4_rp2350_28ct.h
index 1714ef1..c93126a 100644
--- a/src/boards/include/boards/gen4_rp2350_28ct.h
+++ b/src/boards/include/boards/gen4_rp2350_28ct.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_28CT
-#define _BOARDS_GEN4_RP2350_28CT
+#ifndef _BOARDS_GEN4_RP2350_28CT_H
+#define _BOARDS_GEN4_RP2350_28CT_H
// For board detection
#define GEN4_RP2350_28CT // CLB variants are exactly the same in operation
diff --git a/src/boards/include/boards/gen4_rp2350_28t.h b/src/boards/include/boards/gen4_rp2350_28t.h
index b61c230..9c3f908 100644
--- a/src/boards/include/boards/gen4_rp2350_28t.h
+++ b/src/boards/include/boards/gen4_rp2350_28t.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_28T
-#define _BOARDS_GEN4_RP2350_28T
+#ifndef _BOARDS_GEN4_RP2350_28T_H
+#define _BOARDS_GEN4_RP2350_28T_H
// For board detection
#define GEN4_RP2350_28T
diff --git a/src/boards/include/boards/gen4_rp2350_32.h b/src/boards/include/boards/gen4_rp2350_32.h
index 9660a47..33caaf5 100644
--- a/src/boards/include/boards/gen4_rp2350_32.h
+++ b/src/boards/include/boards/gen4_rp2350_32.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_32
-#define _BOARDS_GEN4_RP2350_32
+#ifndef _BOARDS_GEN4_RP2350_32_H
+#define _BOARDS_GEN4_RP2350_32_H
// For board detection
#define GEN4_RP2350_32
diff --git a/src/boards/include/boards/gen4_rp2350_32ct.h b/src/boards/include/boards/gen4_rp2350_32ct.h
index 9f883d4..839fdc0 100644
--- a/src/boards/include/boards/gen4_rp2350_32ct.h
+++ b/src/boards/include/boards/gen4_rp2350_32ct.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_32CT
-#define _BOARDS_GEN4_RP2350_32CT
+#ifndef _BOARDS_GEN4_RP2350_32CT_H
+#define _BOARDS_GEN4_RP2350_32CT_H
// For board detection
#define GEN4_RP2350_32CT // CLB variants are exactly the same in operation
diff --git a/src/boards/include/boards/gen4_rp2350_32t.h b/src/boards/include/boards/gen4_rp2350_32t.h
index 04f4e0c..2a1be7d 100644
--- a/src/boards/include/boards/gen4_rp2350_32t.h
+++ b/src/boards/include/boards/gen4_rp2350_32t.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_32T
-#define _BOARDS_GEN4_RP2350_32T
+#ifndef _BOARDS_GEN4_RP2350_32T_H
+#define _BOARDS_GEN4_RP2350_32T_H
// For board detection
#define GEN4_RP2350_32T
diff --git a/src/boards/include/boards/gen4_rp2350_35.h b/src/boards/include/boards/gen4_rp2350_35.h
index d333c22..c0e2c07 100644
--- a/src/boards/include/boards/gen4_rp2350_35.h
+++ b/src/boards/include/boards/gen4_rp2350_35.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_35
-#define _BOARDS_GEN4_RP2350_35
+#ifndef _BOARDS_GEN4_RP2350_35_H
+#define _BOARDS_GEN4_RP2350_35_H
// For board detection
#define GEN4_RP2350_35
diff --git a/src/boards/include/boards/gen4_rp2350_35ct.h b/src/boards/include/boards/gen4_rp2350_35ct.h
index 778e199..9878047 100644
--- a/src/boards/include/boards/gen4_rp2350_35ct.h
+++ b/src/boards/include/boards/gen4_rp2350_35ct.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_35CT
-#define _BOARDS_GEN4_RP2350_35CT
+#ifndef _BOARDS_GEN4_RP2350_35CT_H
+#define _BOARDS_GEN4_RP2350_35CT_H
// For board detection
#define GEN4_RP2350_35CT // CLB variants are exactly the same in operation
diff --git a/src/boards/include/boards/gen4_rp2350_35t.h b/src/boards/include/boards/gen4_rp2350_35t.h
index 8323372..079143f 100644
--- a/src/boards/include/boards/gen4_rp2350_35t.h
+++ b/src/boards/include/boards/gen4_rp2350_35t.h
@@ -11,8 +11,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_GEN4_RP2350_35T
-#define _BOARDS_GEN4_RP2350_35T
+#ifndef _BOARDS_GEN4_RP2350_35T_H
+#define _BOARDS_GEN4_RP2350_35T_H
// For board detection
#define GEN4_RP2350_35T
diff --git a/src/boards/include/boards/hellbender_2350A_devboard.h b/src/boards/include/boards/hellbender_2350A_devboard.h
index 03895e1..404e956 100644
--- a/src/boards/include/boards/hellbender_2350A_devboard.h
+++ b/src/boards/include/boards/hellbender_2350A_devboard.h
@@ -9,8 +9,8 @@
// SHOULD ONLY CONSIST OF PREPROCESSOR DIRECTIVES
// -----------------------------------------------------
-#ifndef _BOARDS_HB_2350A_H
-#define _BOARDS_HB_2350A_H
+#ifndef _BOARDS_HELLBENDER_2350A_DEVBOARD_H
+#define _BOARDS_HELLBENDER_2350A_DEVBOARD_H
// pico_cmake_set PICO_PLATFORM=rp2350
diff --git a/src/boards/include/boards/ilabs_challenger_rp2350_bconnect.h b/src/boards/include/boards/ilabs_challenger_rp2350_bconnect.h
index b0bbebe..66a4a7e 100644
--- a/src/boards/include/boards/ilabs_challenger_rp2350_bconnect.h
+++ b/src/boards/include/boards/ilabs_challenger_rp2350_bconnect.h
@@ -13,8 +13,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_CHALLENGER_RP2350_BCONNECT_H
-#define _BOARDS_CHALLENGER_RP2350_BCONNECT_H
+#ifndef _BOARDS_ILABS_CHALLENGER_RP2350_BCONNECT_H
+#define _BOARDS_ILABS_CHALLENGER_RP2350_BCONNECT_H
// For board detection
#define ILABS_CHALLENGER_RP2350_BCONNECT
@@ -83,10 +83,6 @@
#define PICO_FLASH_SIZE_BYTES (8 * 1024 * 1024)
#endif
-#ifndef PICO_RP2040_B0_SUPPORTED
-#define PICO_RP2040_B0_SUPPORTED 1
-#endif
-
#ifndef PICO_RP2350_A2_SUPPORTED
#define PICO_RP2350_A2_SUPPORTED 1
#endif
diff --git a/src/boards/include/boards/ilabs_challenger_rp2350_wifi_ble.h b/src/boards/include/boards/ilabs_challenger_rp2350_wifi_ble.h
index 29ac3df..a88e797 100644
--- a/src/boards/include/boards/ilabs_challenger_rp2350_wifi_ble.h
+++ b/src/boards/include/boards/ilabs_challenger_rp2350_wifi_ble.h
@@ -13,8 +13,8 @@
// pico_cmake_set PICO_PLATFORM=rp2350
-#ifndef _BOARDS_CHALLENGER_RP2350_WIFI_BLE_H
-#define _BOARDS_CHALLENGER_RP2350_WIFI_BLE_H
+#ifndef _BOARDS_ILABS_CHALLENGER_RP2350_WIFI_BLE_H
+#define _BOARDS_ILABS_CHALLENGER_RP2350_WIFI_BLE_H
// For board detection
#define ILABS_CHALLENGER_RP2350_WIFI_BLE
@@ -80,10 +80,6 @@
#define PICO_FLASH_SIZE_BYTES (8 * 1024 * 1024)
#endif
-#ifndef PICO_RP2040_B0_SUPPORTED
-#define PICO_RP2040_B0_SUPPORTED 1
-#endif
-
#ifndef PICO_RP2350_A2_SUPPORTED
#define PICO_RP2350_A2_SUPPORTED 1
#endif
diff --git a/src/boards/include/boards/phyx_rick_tny_rp2350.h b/src/boards/include/boards/phyx_rick_tny_rp2350.h
index eb9e678..7db8395 100644
--- a/src/boards/include/boards/phyx_rick_tny_rp2350.h
+++ b/src/boards/include/boards/phyx_rick_tny_rp2350.h
@@ -42,7 +42,7 @@
// --- I2C ---
#ifndef PICO_DEFAULT_I2C
-#define PICO_DEFAULT_I2C 0
+#define PICO_DEFAULT_I2C 1
#endif
#ifndef PICO_DEFAULT_I2C_SDA_PIN
#define PICO_DEFAULT_I2C_SDA_PIN 6
diff --git a/src/boards/include/boards/pico2.h b/src/boards/include/boards/pico2.h
index 4146f39..e47dcc5 100644
--- a/src/boards/include/boards/pico2.h
+++ b/src/boards/include/boards/pico2.h
@@ -9,7 +9,7 @@
// SHOULD ONLY CONSIST OF PREPROCESSOR DIRECTIVES
// -----------------------------------------------------
-// This header may be included by other board headers as "boards/pico.h"
+// This header may be included by other board headers as "boards/pico2.h"
// pico_cmake_set PICO_PLATFORM=rp2350
diff --git a/src/boards/include/boards/pimoroni_plasma2350.h b/src/boards/include/boards/pimoroni_plasma2350.h
index 9fb63eb..fa79e15 100644
--- a/src/boards/include/boards/pimoroni_plasma2350.h
+++ b/src/boards/include/boards/pimoroni_plasma2350.h
@@ -60,7 +60,7 @@
// --- LED ---
#ifndef PICO_DEFAULT_LED_PIN
-#define PICO_DEFAULT_LED_PIN TINY2350_LED_G_PIN
+#define PICO_DEFAULT_LED_PIN PLASMA2350_LED_G_PIN
#endif
// no PICO_DEFAULT_WS2812_PIN
@@ -82,7 +82,7 @@
// --- SPI ---
#ifndef PICO_DEFAULT_SPI
-#define PICO_DEFAULT_SPI 0
+#define PICO_DEFAULT_SPI 1
#endif
#ifndef PICO_DEFAULT_SPI_SCK_PIN
#define PICO_DEFAULT_SPI_SCK_PIN SPICE_NETLIGHT_SCK_PIN
diff --git a/src/boards/include/boards/pimoroni_tiny2350.h b/src/boards/include/boards/pimoroni_tiny2350.h
index f6472a6..09f32e6 100644
--- a/src/boards/include/boards/pimoroni_tiny2350.h
+++ b/src/boards/include/boards/pimoroni_tiny2350.h
@@ -84,9 +84,9 @@
#define PICO_FLASH_SPI_CLKDIV 2
#endif
-// pico_cmake_set_default PICO_FLASH_SIZE_BYTES = (8 * 1024 * 1024)
+// pico_cmake_set_default PICO_FLASH_SIZE_BYTES = (4 * 1024 * 1024)
#ifndef PICO_FLASH_SIZE_BYTES
-#define PICO_FLASH_SIZE_BYTES (8 * 1024 * 1024)
+#define PICO_FLASH_SIZE_BYTES (4 * 1024 * 1024)
#endif
#ifndef PICO_RP2350_A2_SUPPORTED
diff --git a/src/boards/include/boards/solderparty_rp2350_stamp.h b/src/boards/include/boards/solderparty_rp2350_stamp.h
index fee982c..64ac474 100644
--- a/src/boards/include/boards/solderparty_rp2350_stamp.h
+++ b/src/boards/include/boards/solderparty_rp2350_stamp.h
@@ -78,10 +78,6 @@
#define PICO_FLASH_SIZE_BYTES (16 * 1024 * 1024)
#endif
-#ifndef PICO_RP2040_B0_SUPPORTED
-#define PICO_RP2040_B0_SUPPORTED 1
-#endif
-
#ifndef PICO_RP2350_A2_SUPPORTED
#define PICO_RP2350_A2_SUPPORTED 1
#endif
diff --git a/src/boards/include/boards/solderparty_rp2350_stamp_xl.h b/src/boards/include/boards/solderparty_rp2350_stamp_xl.h
index 97fa0bf..90a17b9 100644
--- a/src/boards/include/boards/solderparty_rp2350_stamp_xl.h
+++ b/src/boards/include/boards/solderparty_rp2350_stamp_xl.h
@@ -78,10 +78,6 @@
#define PICO_FLASH_SIZE_BYTES (16 * 1024 * 1024)
#endif
-#ifndef PICO_RP2040_B0_SUPPORTED
-#define PICO_RP2040_B0_SUPPORTED 1
-#endif
-
#ifndef PICO_RP2350_A2_SUPPORTED
#define PICO_RP2350_A2_SUPPORTED 1
#endif
diff --git a/src/boards/include/boards/switchscience_picossci2_conta_base.h b/src/boards/include/boards/switchscience_picossci2_conta_base.h
index fcd7d85..1da3ddf 100644
--- a/src/boards/include/boards/switchscience_picossci2_conta_base.h
+++ b/src/boards/include/boards/switchscience_picossci2_conta_base.h
@@ -17,7 +17,7 @@
#define _BOARDS_SWITCHSCIENCE_PICOSSCI2_CONTA_BASE_H
// For board detection
-#define SWITCHSCIENCE_PICOSSCI2_CONTA_BASE_H
+#define SWITCHSCIENCE_PICOSSCI2_CONTA_BASE
// --- RP2350 VARIANT ---
#define PICO_RP2350A 1
diff --git a/src/boards/include/boards/switchscience_picossci2_rp2350_breakout.h b/src/boards/include/boards/switchscience_picossci2_rp2350_breakout.h
index 0ac128b..68d39f9 100644
--- a/src/boards/include/boards/switchscience_picossci2_rp2350_breakout.h
+++ b/src/boards/include/boards/switchscience_picossci2_rp2350_breakout.h
@@ -17,7 +17,7 @@
#define _BOARDS_SWITCHSCIENCE_PICOSSCI2_RP2350_BREAKOUT_H
// For board detection
-#define SWITCHSCIENCE_PICOSSCI2_RP2350_BREAKOUT_H
+#define SWITCHSCIENCE_PICOSSCI2_RP2350_BREAKOUT
// --- RP2350 VARIANT ---
#define PICO_RP2350A 1
diff --git a/src/boards/include/boards/switchscience_picossci2_tiny.h b/src/boards/include/boards/switchscience_picossci2_tiny.h
index 48e3a9e..f43307c 100644
--- a/src/boards/include/boards/switchscience_picossci2_tiny.h
+++ b/src/boards/include/boards/switchscience_picossci2_tiny.h
@@ -17,7 +17,7 @@
#define _BOARDS_SWITCHSCIENCE_PICOSSCI2_TINY_H
// For board detection
-#define SWITCHSCIENCE_PICOSSCI2_TINY_H
+#define SWITCHSCIENCE_PICOSSCI2_TINY
// --- RP2350 VARIANT ---
#define PICO_RP2350A 1