7e10ce2706
Match the optional device groups to what is actually included in the config-devices.mak files. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
14 lines
262 B
Makefile
14 lines
262 B
Makefile
# Default configuration for riscv32-softmmu
|
|
|
|
# Uncomment the following lines to disable these optional devices:
|
|
# CONFIG_PCI_DEVICES=n
|
|
# CONFIG_TEST_DEVICES=n
|
|
|
|
# Boards:
|
|
#
|
|
CONFIG_SPIKE=y
|
|
CONFIG_SIFIVE_E=y
|
|
CONFIG_SIFIVE_U=y
|
|
CONFIG_RISCV_VIRT=y
|
|
CONFIG_OPENTITAN=y
|