1812b31d3SAlex Bennée# Default configuration for riscv64-softmmu 2812b31d3SAlex Bennée 3812b31d3SAlex Bennée# Uncomment the following lines to disable these optional devices: 4812b31d3SAlex Bennée# CONFIG_PCI_DEVICES=n 57e10ce27SPaolo Bonzini# CONFIG_TEST_DEVICES=n 6812b31d3SAlex Bennée 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_MICROCHIP_PFSOC=n 13*a980c33dSPaolo Bonzini# CONFIG_SHAKTI_C=n 14