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