1*812b31d3SAlex Bennée# Default configuration for riscv64-softmmu 2*812b31d3SAlex Bennée 3*812b31d3SAlex Bennée# Uncomment the following lines to disable these optional devices: 4*812b31d3SAlex Bennée# 5*812b31d3SAlex Bennée#CONFIG_PCI_DEVICES=n 6*812b31d3SAlex BennéeCONFIG_SEMIHOSTING=y 7*812b31d3SAlex BennéeCONFIG_ARM_COMPATIBLE_SEMIHOSTING=y 8*812b31d3SAlex Bennée 9*812b31d3SAlex Bennée# Boards: 10*812b31d3SAlex Bennée# 11*812b31d3SAlex BennéeCONFIG_SPIKE=y 12*812b31d3SAlex BennéeCONFIG_SIFIVE_E=y 13*812b31d3SAlex BennéeCONFIG_SIFIVE_U=y 14*812b31d3SAlex BennéeCONFIG_RISCV_VIRT=y 15*812b31d3SAlex BennéeCONFIG_MICROCHIP_PFSOC=y 16*812b31d3SAlex BennéeCONFIG_SHAKTI_C=y 17