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/agda.scm | |
| parent | 6d328879378fac95240005233331f596fb5c68ed (diff) | |
| download | patches-fe73352e8073ea0a0e6f6b5591f24395671998ab.tar patches-fe73352e8073ea0a0e6f6b5591f24395671998ab.tar.gz | |
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/agda.scm')
0 files changed, 0 insertions, 0 deletions