Lines Matching +full:target +full:- +full:speed

1 # SPDX-License-Identifier: Apache-2.0
4 # by a command-line argument.
5 # It is mainly intended to support both the 'picoprobe' and 'raspberrypi-swd'
9 # Set RPI_PICO_DEBUG_ADAPTER to select debug adapter by command-line arguments.
10 # e.g.) west build -b w5500_evb_pico -- -DRPI_PICO_DEBUG_ADAPTER=raspberrypi-swd
17 	set(RPI_PICO_DEBUG_ADAPTER "cmsis-dap")
20 board_runner_args(openocd --cmd-pre-init "source [find interface/${RPI_PICO_DEBUG_ADAPTER}.cfg]")
21 board_runner_args(openocd --cmd-pre-init "transport select swd")
22 board_runner_args(openocd --cmd-pre-init "source [find target/rp2040.cfg]")
24 # The adapter speed is expected to be set by interface configuration.
25 # But if not so, set 2000 to adapter speed.
26 board_runner_args(openocd --cmd-pre-init "set_adapter_speed_if_not_set 2000")
28 board_runner_args(jlink "--device=RP2040_M0_0")
29 board_runner_args(uf2 "--board-id=RPI-RP2")
30 board_runner_args(pyocd "--target=rp2040")