1# Default configuration for riscv32-softmmu 2 3# Uncomment the following lines to disable these optional devices: 4# 5#CONFIG_PCI_DEVICES=n 6CONFIG_SEMIHOSTING=y 7CONFIG_ARM_COMPATIBLE_SEMIHOSTING=y 8 9# Boards: 10# 11CONFIG_SPIKE=y 12CONFIG_SIFIVE_E=y 13CONFIG_SIFIVE_U=y 14CONFIG_RISCV_VIRT=y 15CONFIG_OPENTITAN=y 16