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