1# SPDX-License-Identifier: Apache-2.0 2 3if(CONFIG_BOARD_STM32H747I_DISCO_M7) 4board_runner_args(openocd "--config=${BOARD_DIR}/support/openocd_stm32h747i_disco_m7.cfg") 5board_runner_args(openocd --target-handle=_CHIPNAME.cpu0) 6elseif(CONFIG_BOARD_STM32H747I_DISCO_M4) 7board_runner_args(openocd "--config=${BOARD_DIR}/support/openocd_stm32h747i_disco_m4.cfg") 8board_runner_args(openocd --target-handle=_CHIPNAME.cpu1) 9endif() 10 11include(${ZEPHYR_BASE}/boards/common/openocd.board.cmake) 12