| # Default configuration for riscv64-softmmu | |
| # Uncomment the following lines to disable these optional devices: | |
| # | |
| #CONFIG_PCI_DEVICES=n | |
| # Boards: | |
| # | |
| CONFIG_SPIKE=y | |
| CONFIG_SIFIVE_E=y | |
| CONFIG_SIFIVE_U=y | |
| CONFIG_RISCV_VIRT=y | |
| CONFIG_MICROCHIP_PFSOC=y | |
| CONFIG_SHAKTI_C=y |