Skip to content

Commit

Permalink
Merge pull request #559 from inesmaria08/support_for_pico_explorer_base
Browse files Browse the repository at this point in the history
Support for pico explorer base
  • Loading branch information
alevy authored Oct 11, 2024
2 parents 7c18230 + e94916c commit f9bcc47
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 1 deletion.
5 changes: 5 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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."
Expand Down Expand Up @@ -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))
Expand Down
1 change: 1 addition & 0 deletions build_scripts/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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" ),
Expand Down
2 changes: 1 addition & 1 deletion runner/src/elf2tab.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit f9bcc47

Please sign in to comment.