1# Default configuration for riscv32-softmmu
2
3# Uncomment the following lines to disable these optional devices:
4#
5#CONFIG_PCI_DEVICES=n
6CONFIG_SEMIHOSTING=y
7CONFIG_ARM_COMPATIBLE_SEMIHOSTING=y
8
9# Boards:
10#
11CONFIG_SPIKE=y
12CONFIG_SIFIVE_E=y
13CONFIG_SIFIVE_U=y
14CONFIG_RISCV_VIRT=y
15CONFIG_OPENTITAN=y
16