From a7888cf5d69f93a828f2428e28e6d5ff73036487 Mon Sep 17 00:00:00 2001 From: Marcin Juszkiewicz Date: Mon, 26 Nov 2018 12:12:16 +0100 Subject: [PATCH] config/arm64: enable ACPI IPMI support --- debian/changelog | 3 +++ debian/config/arm64/config | 1 + 2 files changed, 4 insertions(+) diff --git a/debian/changelog b/debian/changelog index 1512fc73d..15d508f70 100644 --- a/debian/changelog +++ b/debian/changelog @@ -48,6 +48,9 @@ linux (4.19.5-1~exp1) experimental; urgency=medium * [x86] Enable DisplayPort CEC-Tunneling-over-AUX HDMI support (Closes: #913199) + [ Marcin Juszkiewicz ] + * [arm64] Enable ACPI IMPI + -- Bastian Blank Tue, 27 Nov 2018 20:06:42 +0100 linux (4.19~rc7-1~exp1) experimental; urgency=medium diff --git a/debian/config/arm64/config b/debian/config/arm64/config index 4b0ed9f1d..9657d4c87 100644 --- a/debian/config/arm64/config +++ b/debian/config/arm64/config @@ -68,6 +68,7 @@ CONFIG_ARCH_XGENE=y ## file: drivers/acpi/Kconfig ## CONFIG_ACPI=y +CONFIG_ACPI_IPMI=m CONFIG_ACPI_SPCR_TABLE=y CONFIG_ACPI_NUMA=y CONFIG_ACPI_PCI_SLOT=y