| # SPDX-License-Identifier: Apache-2.0 |
| |
| board_set_flasher_ifnset(intel_s1000) |
| board_set_debugger_ifnset(intel_s1000) |
| |
| if(CONFIG_SMP) |
| board_finalize_runner_args(intel_s1000 |
| "--xt-ocd-dir=/opt/tensilica/xocd-12.0.4/xt-ocd" |
| "--ocd-topology=topology_all_flyswatter2.xml" |
| "--ocd-jtag-instr=all_gdb.txt" |
| "--gdb-flash-file=load_elf.txt" |
| ) |
| else() |
| board_finalize_runner_args(intel_s1000 |
| "--xt-ocd-dir=/opt/tensilica/xocd-12.0.4/xt-ocd" |
| "--ocd-topology=topology_dsp0_flyswatter2.xml" |
| "--ocd-jtag-instr=dsp0_gdb.txt" |
| "--gdb-flash-file=load_elf.txt" |
| ) |
| endif() |
