1# Default configuration for ppc64-softmmu 2 3# Include all 32-bit boards 4include ppc-softmmu.mak 5 6# For PowerNV 7CONFIG_POWERNV=y 8CONFIG_IPMI=y 9CONFIG_IPMI_LOCAL=y 10CONFIG_IPMI_EXTERN=y 11CONFIG_ISA_IPMI_BT=y 12 13# For pSeries 14CONFIG_PSERIES=y 15CONFIG_VIRTIO_VGA=y 16CONFIG_XICS=$(CONFIG_PSERIES) 17CONFIG_XICS_SPAPR=$(CONFIG_PSERIES) 18CONFIG_XICS_KVM=$(call land,$(CONFIG_PSERIES),$(CONFIG_KVM)) 19CONFIG_MEM_HOTPLUG=y 20