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