diff --git a/Makefile b/Makefile
index 74cb375e..b598dd33 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,10 @@ usage:
 	@echo " - qemu_rv32_virt"
 	@echo " - stm32f3discovery"
 	@echo " - stm32f412gdiscovery"
+	@echo " - esp32_c3_devkitm_1"
+	@echo " - clue_nrf52840"
+	@echo " - raspberry_pi_pico"
+	@echo " - pico_explorer_base"
 	@echo
 	@echo "Run 'make setup' to setup Rust to build libtock-rs."
 	@echo "Run 'make <board> EXAMPLE=<>' to build EXAMPLE for that board."
@@ -274,6 +278,7 @@ $(eval $(call platform_build,nucleo_f446re,thumbv7em-none-eabi))
 $(eval $(call platform_build,nrf52840,thumbv7em-none-eabi))
 $(eval $(call platform_flash,nrf52840,thumbv7em-none-eabi))
 $(eval $(call platform_build,raspberry_pi_pico,thumbv6m-none-eabi))
+$(eval $(call platform_build,pico_explorer_base,thumbv6m-none-eabi))
 $(eval $(call platform_build,nano33ble,thumbv6m-none-eabi))
 $(eval $(call platform_build,nano_rp2040_connect,thumbv6m-none-eabi))
 $(eval $(call platform_build,qemu_rv32_virt,riscv32imac-unknown-none-elf))
diff --git a/build_scripts/src/lib.rs b/build_scripts/src/lib.rs
index bcde2bed..eb72c2eb 100644
--- a/build_scripts/src/lib.rs
+++ b/build_scripts/src/lib.rs
@@ -19,6 +19,7 @@ const PLATFORMS: &[(&str, &str, &str, &str, &str)] = &[
     ("nucleo_f429zi"      , "0x08040000", "255K"     , "0x20004000", "112K"   ),
     ("nucleo_f446re"      , "0x08040000", "255K"     , "0x20004000", "176K"   ),
     ("opentitan"          , "0x20030000", "32M"      , "0x10006000", "126K"   ),
+    ("pico_explorer_base" , "0x10040000", "256K"     , "0x20012000", "192K"   ),
     ("qemu_rv32_virt"     , "0x80100000", "0x0100000", "0x8020a000", "0xf6000"),
     ("raspberry_pi_pico"  , "0x10040000", "256K"     , "0x20012000", "192K"   ),
     ("stm32f3discovery"   , "0x08020000", "0x0020000", "0x20004000", "48K"    ),
diff --git a/runner/src/elf2tab.rs b/runner/src/elf2tab.rs
index ce4d603d..c6b99570 100644
--- a/runner/src/elf2tab.rs
+++ b/runner/src/elf2tab.rs
@@ -6,7 +6,7 @@ use std::process::Command;
 
 fn get_platform_architecture(platform: &str) -> Option<&'static str> {
     match platform {
-        "raspberry_pi_pico" | "nano_rp2040_connect" => Some("cortex-m0"),
+        "raspberry_pi_pico" | "pico_explorer_base" | "nano_rp2040_connect" => Some("cortex-m0"),
         "apollo3"
         | "clue_nrf52840"
         | "hail"