From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Craven Subject: [PATCH 7/7] gnu: Enable CONFIG_HOTPLUG_PCI. Date: Thu, 2 Feb 2017 00:35:31 +0100 Message-ID: <20170201233531.2640-7-david@craven.ch> References: <20170201233531.2640-1-david@craven.ch> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:45976) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cZ4RP-0007mB-Jw for guix-devel@gnu.org; Wed, 01 Feb 2017 18:35:56 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cZ4RO-0005OU-RG for guix-devel@gnu.org; Wed, 01 Feb 2017 18:35:55 -0500 Received: from so254-10.mailgun.net ([198.61.254.10]:39969) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cZ4RO-0005KM-Mx for guix-devel@gnu.org; Wed, 01 Feb 2017 18:35:54 -0500 In-Reply-To: <20170201233531.2640-1-david@craven.ch> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Cc: David Craven * gnu/packages/linux-libre-4.9-x86_64.conf * gnu/packages/linux-libre-4.9-i686.conf --- gnu/packages/linux-libre-4.9-i686.conf | 1 + gnu/packages/linux-libre-4.9-x86_64.conf | 1 + 2 files changed, 2 insertions(+) diff --git a/gnu/packages/linux-libre-4.9-i686.conf b/gnu/packages/linux-libre-4.9-i686.conf index 4f3a9f927..839eb820d 100644 --- a/gnu/packages/linux-libre-4.9-i686.conf +++ b/gnu/packages/linux-libre-4.9-i686.conf @@ -778,6 +778,7 @@ CONFIG_PCI_XEN=y CONFIG_PCI_DOMAINS=y # CONFIG_PCI_CNB20LE_QUIRK is not set CONFIG_PCIEPORTBUS=y +CONFIG_HOTPLUG_PCI=y CONFIG_HOTPLUG_PCI_PCIE=y CONFIG_PCIEAER=y # CONFIG_PCIE_ECRC is not set diff --git a/gnu/packages/linux-libre-4.9-x86_64.conf b/gnu/packages/linux-libre-4.9-x86_64.conf index ca0fcded6..e3284a995 100644 --- a/gnu/packages/linux-libre-4.9-x86_64.conf +++ b/gnu/packages/linux-libre-4.9-x86_64.conf @@ -775,6 +775,7 @@ CONFIG_PCI_XEN=y CONFIG_PCI_DOMAINS=y # CONFIG_PCI_CNB20LE_QUIRK is not set CONFIG_PCIEPORTBUS=y +CONFIG_HOTPLUG_PCI=y CONFIG_HOTPLUG_PCI_PCIE=y CONFIG_PCIEAER=y # CONFIG_PCIE_ECRC is not set -- 2.11.0