182a230d5SPaolo Bonzini# Default configuration for riscv32-softmmu 225fa194bSMichael Clark 382a230d5SPaolo Bonzini# Uncomment the following lines to disable these optional devices: 482a230d5SPaolo Bonzini# CONFIG_PCI_DEVICES=n 57e10ce27SPaolo Bonzini# CONFIG_TEST_DEVICES=n 65a7f76a3SAlistair Francis 7*a980c33dSPaolo Bonzini# Boards are selected by default, uncomment to keep out of the build. 8*a980c33dSPaolo Bonzini# CONFIG_SPIKE=n 9*a980c33dSPaolo Bonzini# CONFIG_SIFIVE_E=n 10*a980c33dSPaolo Bonzini# CONFIG_SIFIVE_U=n 11*a980c33dSPaolo Bonzini# CONFIG_RISCV_VIRT=n 12*a980c33dSPaolo Bonzini# CONFIG_OPENTITAN=n 13