2019-01-29 14:16:27 +03:00
|
|
|
# Default configuration for riscv64-softmmu
|
2018-03-02 15:32:59 +03:00
|
|
|
|
2020-04-23 21:30:50 +03:00
|
|
|
# Uncomment the following lines to disable these optional devices:
|
|
|
|
#
|
|
|
|
#CONFIG_PCI_DEVICES=n
|
2021-01-09 01:42:52 +03:00
|
|
|
CONFIG_SEMIHOSTING=y
|
|
|
|
CONFIG_ARM_COMPATIBLE_SEMIHOSTING=y
|
2020-04-23 21:30:50 +03:00
|
|
|
|
|
|
|
# Boards:
|
|
|
|
#
|
|
|
|
CONFIG_SPIKE=y
|
|
|
|
CONFIG_SIFIVE_E=y
|
|
|
|
CONFIG_SIFIVE_U=y
|
|
|
|
CONFIG_RISCV_VIRT=y
|
2020-09-01 04:38:59 +03:00
|
|
|
CONFIG_MICROCHIP_PFSOC=y
|