1# SPDX-License-Identifier: Apache-2.0
2
3board_set_sim_runner_ifnset(renode)
4
5board_runner_args(renode "--renode-command=$elf=@${PROJECT_BINARY_DIR}/${KERNEL_ELF_NAME}")
6board_runner_args(renode "--renode-command=include @${RENODE_SCRIPT}")
7
8board_finalize_runner_args(renode)
9
