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

[Bastian Blank]

Author: waldi
Date: Sat Nov 24 17:03:50 2012
New Revision: 19524

Log:
* debian/config/config: Explicit set HVC_XEN_FRONTEND.
* debian/config/kernelarch-x86/config: Explicit set XEN_ACPI_PROCESSOR.

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

Modified: dists/trunk/linux/debian/config/config
==============================================================================
--- dists/trunk/linux/debian/config/config	Sat Nov 24 17:02:18 2012	(r19523)
+++ dists/trunk/linux/debian/config/config	Sat Nov 24 17:03:50 2012	(r19524)
@@ -2931,6 +2931,7 @@
 ## file: drivers/tty/hvc/Kconfig
 ##
 CONFIG_HVC_XEN=y
+CONFIG_HVC_XEN_FRONTEND=y
 
 ##
 ## file: drivers/tty/serial/Kconfig

Modified: dists/trunk/linux/debian/config/kernelarch-x86/config
==============================================================================
--- dists/trunk/linux/debian/config/kernelarch-x86/config	Sat Nov 24 17:02:18 2012	(r19523)
+++ dists/trunk/linux/debian/config/kernelarch-x86/config	Sat Nov 24 17:03:50 2012	(r19524)
@@ -1560,6 +1560,11 @@
 CONFIG_USBPCWATCHDOG=m
 
 ##
+## file: drivers/xen/Kconfig
+##
+CONFIG_XEN_ACPI_PROCESSOR=m
+
+##
 ## file: fs/proc/Kconfig
 ##
 CONFIG_PROC_VMCORE=y