From e198a725f6317491729acc85ac77703f3b3efa1b Mon Sep 17 00:00:00 2001 From: Jake Correnti Date: Thu, 6 Aug 2026 10:34:30 -0400 Subject: [PATCH] enable CONFIG_{ACPI, PCI} for x86 Enable PCI and ACPI in the x86 kernel so that we can add support for them in libkrun and eventully support additional firmware options. Signed-off-by: Jake Correnti --- config-libkrunfw-sev_x86_64 | 2 +- config-libkrunfw-tdx_x86_64 | 2 +- config-libkrunfw_x86_64 | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/config-libkrunfw-sev_x86_64 b/config-libkrunfw-sev_x86_64 index ada3cf87..70b757c1 100644 --- a/config-libkrunfw-sev_x86_64 +++ b/config-libkrunfw-sev_x86_64 @@ -1107,7 +1107,7 @@ CONFIG_ETHTOOL_NETLINK=y CONFIG_HAVE_EISA=y # CONFIG_EISA is not set CONFIG_HAVE_PCI=y -# CONFIG_PCI is not set +CONFIG_PCI=y # CONFIG_PCCARD is not set # diff --git a/config-libkrunfw-tdx_x86_64 b/config-libkrunfw-tdx_x86_64 index 03552648..b8d59eda 100644 --- a/config-libkrunfw-tdx_x86_64 +++ b/config-libkrunfw-tdx_x86_64 @@ -1151,7 +1151,7 @@ CONFIG_HAVE_EISA=y # CONFIG_EISA is not set CONFIG_HAVE_PCI=y CONFIG_GENERIC_PCI_IOMAP=y -# CONFIG_PCI is not set +CONFIG_PCI=y # CONFIG_PCCARD is not set # diff --git a/config-libkrunfw_x86_64 b/config-libkrunfw_x86_64 index d0df1e70..a7caae64 100644 --- a/config-libkrunfw_x86_64 +++ b/config-libkrunfw_x86_64 @@ -479,7 +479,7 @@ CONFIG_ARCH_HAS_ADD_PAGES=y # CONFIG_SUSPEND is not set # CONFIG_PM is not set CONFIG_ARCH_SUPPORTS_ACPI=y -# CONFIG_ACPI is not set +CONFIG_ACPI=y # # CPU Frequency scaling @@ -1162,7 +1162,7 @@ CONFIG_FAILOVER=y # CONFIG_HAVE_PCI=y CONFIG_GENERIC_PCI_IOMAP=y -# CONFIG_PCI is not set +CONFIG_PCI=y # CONFIG_PCCARD is not set #