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 5*7e10ce27SPaolo Bonzini# CONFIG_TEST_DEVICES=n 6812b31d3SAlex Bennée 7812b31d3SAlex Bennée# Boards: 8812b31d3SAlex Bennée# 9812b31d3SAlex BennéeCONFIG_SPIKE=y 10812b31d3SAlex BennéeCONFIG_SIFIVE_E=y 11812b31d3SAlex BennéeCONFIG_SIFIVE_U=y 12812b31d3SAlex BennéeCONFIG_RISCV_VIRT=y 13812b31d3SAlex BennéeCONFIG_MICROCHIP_PFSOC=y 14812b31d3SAlex BennéeCONFIG_SHAKTI_C=y 15