configure: Allow automatic WHPX detection
[qemu/kevin.git] / default-configs / riscv64-softmmu.mak
blobaaf6d735bb7676a6e7fc5319796d018746d28f5b
1 # Default configuration for riscv64-softmmu
3 # Uncomment the following lines to disable these optional devices:
5 #CONFIG_PCI_DEVICES=n
7 # Boards:
9 CONFIG_SPIKE=y
10 CONFIG_SIFIVE_E=y
11 CONFIG_SIFIVE_U=y
12 CONFIG_RISCV_VIRT=y