# Copyright (c) 2023 Meta
# SPDX-License-Identifier: Apache-2.0
set(SUPPORTED_EMU_PLATFORMS renode)
set(RENODE_SCRIPT ${CMAKE_CURRENT_LIST_DIR}/support/riscv32_virtual.resc)
set(RENODE_UART sysbus.uart0)