1# SPDX-License-Identifier: Apache-2.0
2
3if(CONFIG_BOARD_NRF9131EK_NRF9131_NS)
4  set(TFM_PUBLIC_KEY_FORMAT "full")
5endif()
6
7if(CONFIG_TFM_FLASH_MERGED_BINARY)
8  set_property(TARGET runners_yaml_props_target PROPERTY hex_file tfm_merged.hex)
9endif()
10
11# TODO: change to nRF9131_xxAA when such device is available in JLink
12board_runner_args(jlink "--device=nRF9160_xxAA" "--speed=4000")
13include(${ZEPHYR_BASE}/boards/common/nrfjprog.board.cmake)
14include(${ZEPHYR_BASE}/boards/common/jlink.board.cmake)
15