| # SPDX-License-Identifier: Apache-2.0 |
| |
| # keep first |
| board_runner_args(stm32cubeprogrammer "--port=swd" "--reset-mode=hw") |
| |
| board_runner_args(pyocd "--target=stm32h533retx") |
| |
| board_runner_args(jlink "--device=STM32H533RE" "--reset-after-load") |
| |
| board_runner_args(openocd "--tcl-port=6666") |
| board_runner_args(openocd --cmd-pre-init "gdb_report_data_abort enable") |
| board_runner_args(openocd "--no-halt") |
| |
| # keep first |
| include(${ZEPHYR_BASE}/boards/common/stm32cubeprogrammer.board.cmake) |
| include(${ZEPHYR_BASE}/boards/common/pyocd.board.cmake) |
| include(${ZEPHYR_BASE}/boards/common/jlink.board.cmake) |
| include(${ZEPHYR_BASE}/boards/common/openocd.board.cmake) |
| # FIXME: official openocd runner not yet available. |