1# Copyright (c) 2023 Meta
2# SPDX-License-Identifier: Apache-2.0
3
4config SOC_RISCV_VIRTUAL_RENODE
5	bool
6	help
7	  Renode RISCV32 Virtual system implementation
8
9config SOC
10	default "riscv_virtual_renode" if SOC_RISCV_VIRTUAL_RENODE
11