15cea5ae81
Some architectures might support memory devices, while they don't support DIMM/NVDIMM. So let's - Rename CONFIG_MEM_HOTPLUG to CONFIG_MEM_DEVICE - Introduce CONFIG_DIMM and use it similarly to CONFIG NVDIMM CONFIG_DIMM and CONFIG_NVDIMM require CONFIG_MEM_DEVICE. Reviewed-by: Igor Mammedov <imammedo@redhat.com> Reviewed-by: David Gibson <david@gibson.dropbear.id.au> Acked-by: David Gibson <david@gibson.dropbear.id.au> Signed-off-by: David Hildenbrand <david@redhat.com> Message-Id: <20181005092024.14344-7-david@redhat.com> Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>
21 lines
416 B
Makefile
21 lines
416 B
Makefile
# Default configuration for ppc64-softmmu
|
|
|
|
# Include all 32-bit boards
|
|
include ppc-softmmu.mak
|
|
|
|
# For PowerNV
|
|
CONFIG_POWERNV=y
|
|
CONFIG_IPMI=y
|
|
CONFIG_IPMI_LOCAL=y
|
|
CONFIG_IPMI_EXTERN=y
|
|
CONFIG_ISA_IPMI_BT=y
|
|
|
|
# For pSeries
|
|
CONFIG_PSERIES=y
|
|
CONFIG_VIRTIO_VGA=y
|
|
CONFIG_XICS=$(CONFIG_PSERIES)
|
|
CONFIG_XICS_SPAPR=$(CONFIG_PSERIES)
|
|
CONFIG_XICS_KVM=$(call land,$(CONFIG_PSERIES),$(CONFIG_KVM))
|
|
CONFIG_MEM_DEVICE=y
|
|
CONFIG_DIMM=y
|