ppc/xive: introduce a XIVE interrupt source model
[qemu/kevin.git] / default-configs / ppc64-softmmu.mak
blob2d1e7c5c466865483f76f822c10b572cf6985124
1 # Default configuration for ppc64-softmmu
3 # Include all 32-bit boards
4 include ppc-softmmu.mak
6 # For PowerNV
7 CONFIG_POWERNV=y
8 CONFIG_IPMI=y
9 CONFIG_IPMI_LOCAL=y
10 CONFIG_IPMI_EXTERN=y
11 CONFIG_ISA_IPMI_BT=y
13 # For pSeries
14 CONFIG_PSERIES=y
15 CONFIG_VIRTIO_VGA=y
16 CONFIG_XICS=$(CONFIG_PSERIES)
17 CONFIG_XICS_SPAPR=$(CONFIG_PSERIES)
18 CONFIG_XICS_KVM=$(call land,$(CONFIG_PSERIES),$(CONFIG_KVM))
19 CONFIG_XIVE=$(CONFIG_PSERIES)
20 CONFIG_MEM_DEVICE=y
21 CONFIG_DIMM=y
22 CONFIG_SPAPR_RNG=y