Merge pull request #559 from inesmaria08/support_for_pico_explorer_base

Support for pico explorer base

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))

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" ),

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"