| # SPDX-License-Identifier: Apache-2.0 | |
| if(CONFIG_BOARD_NRF9131EK_NRF9131_NS) | |
| set(TFM_PUBLIC_KEY_FORMAT "full") | |
| endif() | |
| if(CONFIG_TFM_FLASH_MERGED_BINARY) | |
| set_property(TARGET runners_yaml_props_target PROPERTY hex_file tfm_merged.hex) | |
| endif() | |
| # TODO: change to nRF9131_xxAA when such device is available in JLink | |
| board_runner_args(jlink "--device=nRF9160_xxAA" "--speed=4000") | |
| include(${ZEPHYR_BASE}/boards/common/nrfjprog.board.cmake) | |
| include(${ZEPHYR_BASE}/boards/common/jlink.board.cmake) |