diff options
author | Mark H Weaver <mhw@netris.org> | 2018-09-25 19:31:50 -0400 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2018-09-25 23:17:20 -0400 |
commit | fe73352e8073ea0a0e6f6b5591f24395671998ab (patch) | |
tree | ea81c611b39ef9d2f2032fd7e567f919a91b9eea /gnu/packages/aux-files/linux-libre/4.18-x86_64.conf | |
parent | 6d328879378fac95240005233331f596fb5c68ed (diff) | |
download | guix-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.conf | 6 |
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 |