config/arm64: enable ACPI IPMI support
This commit is contained in:
parent
182e013b33
commit
a7888cf5d6
|
@ -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 <waldi@debian.org> Tue, 27 Nov 2018 20:06:42 +0100
|
||||
|
||||
linux (4.19~rc7-1~exp1) experimental; urgency=medium
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue