# 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"
  )