# Copyright 2022-2023 NXP
# SPDX-License-Identifier: Apache-2.0

board_runner_args(trace32
  "--startup-args"
  "elfFile=${PROJECT_BINARY_DIR}/${KERNEL_ELF_NAME}"
  "rtu=${CONFIG_NXP_S32_RTU_INDEX}"
)

board_runner_args(nxp_s32dbg
  "--soc-family-name" "s32z2e2"
  "--soc-name" "S32Z270"
)

if(CONFIG_DCLS)
  board_runner_args(trace32 "lockstep=yes")
  board_runner_args(nxp_s32dbg "--core-name" "R52_${CONFIG_NXP_S32_RTU_INDEX}_0_LS")
else()
  board_runner_args(trace32 "lockstep=no")
  board_runner_args(nxp_s32dbg "--core-name" "R52_${CONFIG_NXP_S32_RTU_INDEX}_0")
endif()

include(${ZEPHYR_BASE}/boards/common/nxp_s32dbg.board.cmake)
include(${ZEPHYR_BASE}/boards/common/trace32.board.cmake)