From cccfa18fe9d048b838dc766bf43b32da842e240a Mon Sep 17 00:00:00 2001
From: Ben Hutchings <benh@debian.org>
Date: Fri, 10 May 2013 13:28:16 +0000
Subject: [PATCH] [x86] Enable VMWARE_VMCI, VSOCKETS, VMWARE_VMCI_VSOCKETS as
 modules (Closes: #707676)

svn path=/dists/trunk/linux/; revision=20075
---
 debian/changelog                    |  2 ++
 debian/config/kernelarch-x86/config | 11 +++++++++++
 2 files changed, 13 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index ad7ca1e44..9aac3846b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,8 @@ linux (3.9-1~experimental.1) UNRELEASED; urgency=low
   [ 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@decadent.org.uk>  Mon, 06 May 2013 13:17:52 +0100
 
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index d43718a24..70263c4e1 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -728,6 +728,11 @@ CONFIG_PCH_PHUB=m
 ##
 CONFIG_INTEL_MEI=m
 
+##
+## file: drivers/misc/vmw_vmci/Kconfig
+##
+CONFIG_VMWARE_VMCI=m
+
 ##
 ## file: drivers/mmc/Kconfig
 ##
@@ -1683,6 +1688,12 @@ CONFIG_IRNET=m
 ##
 CONFIG_LAPB=m
 
+##
+## file: net/vmw_vsock/Kconfig
+##
+CONFIG_VSOCKETS=m
+CONFIG_VMWARE_VMCI_VSOCKETS=m
+
 ##
 ## file: sound/drivers/Kconfig
 ##