boards/renode/riscv32_virtual/board.cmake

# 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)