[kernel] r20075 - in dists/trunk/linux/debian: . config/kernelarch-x86

[Ben Hutchings]

Author: benh
Date: Fri May 10 13:28:16 2013
New Revision: 20075

Log:
[x86] Enable VMWARE_VMCI, VSOCKETS, VMWARE_VMCI_VSOCKETS as modules (Closes: #707676)

Modified:
   dists/trunk/linux/debian/changelog
   dists/trunk/linux/debian/config/kernelarch-x86/config

Modified: dists/trunk/linux/debian/changelog
==============================================================================
--- dists/trunk/linux/debian/changelog	Fri May 10 07:09:08 2013	(r20074)
+++ dists/trunk/linux/debian/changelog	Fri May 10 13:28:16 2013	(r20075)
@@ -7,6 +7,8 @@
   [ Ben Hutchings ]
   * [rt] Disable until it is updated for Linux 3.9 or later
   * Build-Depend on bc, needed to build kernel/timeconst.h
+  * [x86] Enable VMWARE_VMCI, VSOCKETS, VMWARE_VMCI_VSOCKETS as modules
+    (Closes: #707676)
 
  -- Ben Hutchings <ben at decadent.org.uk>  Mon, 06 May 2013 13:17:52 +0100
 

Modified: dists/trunk/linux/debian/config/kernelarch-x86/config
==============================================================================
--- dists/trunk/linux/debian/config/kernelarch-x86/config	Fri May 10 07:09:08 2013	(r20074)
+++ dists/trunk/linux/debian/config/kernelarch-x86/config	Fri May 10 13:28:16 2013	(r20075)
@@ -729,6 +729,11 @@
 CONFIG_INTEL_MEI=m
 
 ##
+## file: drivers/misc/vmw_vmci/Kconfig
+##
+CONFIG_VMWARE_VMCI=m
+
+##
 ## file: drivers/mmc/Kconfig
 ##
 CONFIG_MMC=m
@@ -1684,6 +1689,12 @@
 CONFIG_LAPB=m
 
 ##
+## file: net/vmw_vsock/Kconfig
+##
+CONFIG_VSOCKETS=m
+CONFIG_VMWARE_VMCI_VSOCKETS=m
+
+##
 ## file: sound/drivers/Kconfig
 ##
 CONFIG_SND_DUMMY=m