# SPDX-License-Identifier: Apache-2.0

board_set_sim_runner_ifnset(renode)

board_runner_args(renode "--renode-command=$elf=@${PROJECT_BINARY_DIR}/${KERNEL_ELF_NAME}")
board_runner_args(renode "--renode-command=include @${RENODE_SCRIPT}")

board_finalize_runner_args(renode)