diff options
author | Thomas Huth <thuth@redhat.com> | 2019-01-31 14:53:26 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-03-07 21:45:53 +0100 |
commit | 87f9108bad0c5f307902466cf9e2920d1718ea09 (patch) | |
tree | 635ae249beca172623ebef70f773d9e1c2d53c72 /hw/mem | |
parent | 58accbc508e123f20829ca95a306dd43ecbd0313 (diff) |
ppc64: Express dependencies of 'pseries' and 'powernv' machines with kconfig
The POWERNV switch should always select ISA_IPMI_BT, then the other
IPMI options are turned on automatically now.
CONFIG_DIMM should always be selected by the pseries machine,
which in turn depends on CONFIG_MEM_DEVICE since DIMM implements
this interface.
CONFIG_VIRTIO_VGA can be dropped from default-configs/ppc64-softmmu.mak
completely since this device is already automatically enabled via
hw/display/Kconfig now.
Signed-off-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'hw/mem')
-rw-r--r-- | hw/mem/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hw/mem/Kconfig b/hw/mem/Kconfig index d1e635c9a7..620fd4cb59 100644 --- a/hw/mem/Kconfig +++ b/hw/mem/Kconfig @@ -1,5 +1,6 @@ config DIMM bool + select MEM_DEVICE config MEM_DEVICE bool |