From 90c86ae4d4747aaec99f28bbf43d229d963edd13 Mon Sep 17 00:00:00 2001
From: inesmaria08 <inesmaria.moraru@gmail.com>
Date: Sat, 21 Sep 2024 20:16:51 +0300
Subject: [PATCH] adding support for pico explorer base

---
 Makefile                 | 3 +++
 build_scripts/src/lib.rs | 1 +
 runner/src/elf2tab.rs    | 2 +-
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 397a7fd5..cb9ebdf1 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,8 @@ usage:
 	@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."
@@ -273,6 +275,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,stm32f3discovery,thumbv7em-none-eabi))
diff --git a/build_scripts/src/lib.rs b/build_scripts/src/lib.rs
index e7185782..aad237f4 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"   ),
     ("raspberry_pi_pico"  , "0x10040000", "256K"     , "0x20012000", "192K"   ),
     ("stm32f3discovery"   , "0x08020000", "0x0020000", "0x20004000", "48K"    ),
     ("stm32f412gdiscovery", "0x08030000", "256K"     , "0x20004000", "112K"   ),
diff --git a/runner/src/elf2tab.rs b/runner/src/elf2tab.rs
index 7723101b..ddbbda35 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"