Paolo Bonzini | 82a230d | 2019-01-29 12:16:27 +0100 | [diff] [blame] | 1 | # Default configuration for riscv32-softmmu |
Michael Clark | 25fa194 | 2018-03-03 01:32:59 +1300 | [diff] [blame] | 2 | |
Paolo Bonzini | 82a230d | 2019-01-29 12:16:27 +0100 | [diff] [blame] | 3 | # Uncomment the following lines to disable these optional devices: |
| 4 | # |
| 5 | #CONFIG_PCI_DEVICES=n |
Alistair Francis | 5a7f76a | 2018-04-26 13:59:08 -0700 | [diff] [blame] | 6 | |
Paolo Bonzini | 82a230d | 2019-01-29 12:16:27 +0100 | [diff] [blame] | 7 | # Boards: |
| 8 | # |
Yang Zhong | 3fa86eb | 2019-02-02 15:24:47 +0800 | [diff] [blame] | 9 | CONFIG_SPIKE=y |
Yang Zhong | 3fa86eb | 2019-02-02 15:24:47 +0800 | [diff] [blame] | 10 | CONFIG_SIFIVE_E=y |
Yang Zhong | 3fa86eb | 2019-02-02 15:24:47 +0800 | [diff] [blame] | 11 | CONFIG_SIFIVE_U=y |
| 12 | CONFIG_RISCV_VIRT=y |