configs/devices/riscv32-softmmu/default.mak

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