aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/aux-files/linux-libre/4.18-x86_64.conf
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2018-09-25 19:31:50 -0400
committerMark H Weaver <mhw@netris.org>2018-09-25 23:17:20 -0400
commitfe73352e8073ea0a0e6f6b5591f24395671998ab (patch)
treeea81c611b39ef9d2f2032fd7e567f919a91b9eea /gnu/packages/aux-files/linux-libre/4.18-x86_64.conf
parent6d328879378fac95240005233331f596fb5c68ed (diff)
downloadguix-fe73352e8073ea0a0e6f6b5591f24395671998ab.tar.gz
guix-fe73352e8073ea0a0e6f6b5591f24395671998ab.zip
gnu: linux-libre: Enable SHPC PCI Hotplug driver, now built-in only.
Fixes <https://bugs.gnu.org/32840>. * gnu/packages/aux-files/linux-libre/4.18-x86_64.conf, gnu/packages/aux-files/linux-libre/4.18-i686.conf: Add CONFIG_HOTPLUG_PCI_SHPC=y, plus updates made by 'make oldconfig'.
Diffstat (limited to 'gnu/packages/aux-files/linux-libre/4.18-x86_64.conf')
-rw-r--r--gnu/packages/aux-files/linux-libre/4.18-x86_64.conf6
1 files changed, 4 insertions, 2 deletions
diff --git a/gnu/packages/aux-files/linux-libre/4.18-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.18-x86_64.conf
index 81fd822756..2a66c483d6 100644
--- a/gnu/packages/aux-files/linux-libre/4.18-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.18-x86_64.conf
@@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.18.0-gnu Kernel Configuration
+# Linux/x86 4.18.9-gnu Kernel Configuration
#
#
@@ -265,6 +265,7 @@ CONFIG_PROFILING=y
CONFIG_TRACEPOINTS=y
CONFIG_CRASH_CORE=y
CONFIG_KEXEC_CORE=y
+CONFIG_HOTPLUG_SMT=y
CONFIG_OPROFILE=m
# CONFIG_OPROFILE_EVENT_MULTIPLEX is not set
CONFIG_HAVE_OPROFILE=y
@@ -304,6 +305,7 @@ CONFIG_HAVE_PERF_REGS=y
CONFIG_HAVE_PERF_USER_STACK_DUMP=y
CONFIG_HAVE_ARCH_JUMP_LABEL=y
CONFIG_HAVE_RCU_TABLE_FREE=y
+CONFIG_HAVE_RCU_TABLE_INVALIDATE=y
CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
CONFIG_HAVE_ALIGNED_STRUCT_PAGE=y
CONFIG_HAVE_CMPXCHG_LOCAL=y
@@ -869,7 +871,7 @@ CONFIG_HOTPLUG_PCI_ACPI_IBM=m
CONFIG_HOTPLUG_PCI_CPCI=y
CONFIG_HOTPLUG_PCI_CPCI_ZT5550=m
CONFIG_HOTPLUG_PCI_CPCI_GENERIC=m
-# CONFIG_HOTPLUG_PCI_SHPC is not set
+CONFIG_HOTPLUG_PCI_SHPC=y
#
# PCI controller drivers