1# Copyright 2022-2023 NXP
2# SPDX-License-Identifier: Apache-2.0
3
4board_runner_args(trace32
5  "--startup-args"
6  "elfFile=${PROJECT_BINARY_DIR}/${KERNEL_ELF_NAME}"
7  "rtu=${CONFIG_NXP_S32_RTU_INDEX}"
8)
9
10board_runner_args(nxp_s32dbg
11  "--soc-family-name" "s32z2e2"
12  "--soc-name" "S32Z270"
13)
14
15if(CONFIG_DCLS)
16  board_runner_args(trace32 "lockstep=yes")
17  board_runner_args(nxp_s32dbg "--core-name" "R52_${CONFIG_NXP_S32_RTU_INDEX}_0_LS")
18else()
19  board_runner_args(trace32 "lockstep=no")
20  board_runner_args(nxp_s32dbg "--core-name" "R52_${CONFIG_NXP_S32_RTU_INDEX}_0")
21endif()
22
23include(${ZEPHYR_BASE}/boards/common/nxp_s32dbg.board.cmake)
24include(${ZEPHYR_BASE}/boards/common/trace32.board.cmake)
25