tcg: Mark muluh_i64 and mulsh_i64 as 64-bit ops
[qemu/ar7.git] / default-configs / ppc64-softmmu.mak
blobb94af6c7c62aee9ed514d97ba8ff7057471203fa
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_MEM_HOTPLUG=y