# SPDX-License-Identifier: Apache-2.0 | |
set(TARGET_IMAGE_FILE ${PROJECT_BINARY_DIR}/${CONFIG_KERNEL_BIN_NAME}_${BOARD}.bin) | |
set(TARGET_IMAGE_ADDR ${CONFIG_FLASH_BASE_ADDRESS}) | |
set(TARGET_IMAGE_SIZE ${CONFIG_FLASH_SIZE}) | |
board_set_flasher_ifnset(openocd) | |
board_set_debugger_ifnset(openocd) | |
board_finalize_runner_args(openocd | |
--cmd-load "flash_npcx ${MONITOR_IMAGE_FILE} ${TARGET_IMAGE_FILE} ${TARGET_IMAGE_ADDR} ${TARGET_IMAGE_SIZE}" | |
--cmd-verify "verify_npcx" | |
) |