1*812b31d3SAlex Bennée# Default configuration for riscv32-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_OPENTITAN=y 16