[kernel] r20220 - in dists/sid/linux/debian: . config/s390

[Ben Hutchings]

Author: benh
Date: Sun Jun  9 21:30:13 2013
New Revision: 20220

Log:
[s390] Enable PCI, PCI and USB drivers

Modified:
   dists/sid/linux/debian/changelog
   dists/sid/linux/debian/config/s390/config.s390x

Modified: dists/sid/linux/debian/changelog
==============================================================================
--- dists/sid/linux/debian/changelog	Sun Jun  9 20:16:14 2013	(r20219)
+++ dists/sid/linux/debian/changelog	Sun Jun  9 21:30:13 2013	(r20220)
@@ -48,7 +48,7 @@
   [ Ben Hutchings ]
   * [powerpcspe] Remove installer udebs (really fixes FTBFS)
   * [s390] Add pgste to ptep_modify_prot_start()
-  
+  * [s390] Enable PCI, PCI and USB drivers
 
  -- Ben Hutchings <ben at decadent.org.uk>  Sat, 08 Jun 2013 15:25:11 +0100
 

Modified: dists/sid/linux/debian/config/s390/config.s390x
==============================================================================
--- dists/sid/linux/debian/config/s390/config.s390x	Sun Jun  9 20:16:14 2013	(r20219)
+++ dists/sid/linux/debian/config/s390/config.s390x	Sun Jun  9 21:30:13 2013	(r20220)
@@ -9,4 +9,5 @@
 # CONFIG_MARCH_Z10 is not set
 ## end choice
 CONFIG_64BIT=y
+CONFIG_PCI=y