packaging/kernel: Add CONFIG_PCI_MMCONFIG to x86 guest kernel configuration

The guest kernel configuration suggested for Kata, and which is used by the
CI didn't include CONFIG_PCI_MMCONFIG.  That's kind of weird, MMCONFIG is
the modern normal way of handling configuration cycles.

In addition, due to a complex set of interactions through the ACPI code,
disabling MMCONFIG means that SHPC hotplug doesn't work: the driver is
included in the guest kernel, but will fail to probe on PCI to PCI bridges,
meaning it won't actually be activated.

Enable MMCONFIG so that we suggest and testa more typical guest kernel
configuration.

fixes #2288

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
This commit is contained in:
David Gibson 2021-07-26 18:35:09 +10:00
parent 4cde619c68
commit c4236cb2d1
2 changed files with 2 additions and 1 deletions

View File

@ -1 +1,2 @@
CONFIG_PCI_MMCONFIG=y
CONFIG_PCI_MSI_IRQ_DOMAIN=y

View File

@ -1 +1 @@
85
86