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