--- trunk/kernel26-xen/config-2.6.25-xen-r1-x86_64	2008/05/23 17:35:37	609
+++ trunk/kernel26-xen/config-2.6.25-xen-r1-x86_64	2008/05/24 08:57:41	614
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
-# Linux kernel version: 2.6.25
-# Fri May 23 19:39:12 2008
+# Linux kernel version: 2.6.25-xen-r1
+# Sat May 24 11:01:59 2008
 #
 CONFIG_64BIT=y
 # CONFIG_X86_32 is not set
@@ -286,10 +286,6 @@
 #
 # CPU Frequency scaling
 #
-# CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
 CONFIG_CPU_IDLE=y
 CONFIG_CPU_IDLE_GOV_LADDER=y
 
@@ -3252,7 +3248,7 @@
 CONFIG_XEN_CONSOLE=y
 CONFIG_XEN_SCRUB_PAGES=y
 CONFIG_XEN_DISABLE_SERIAL=y
-CONFIG_XEN_SYSFS=m
+CONFIG_XEN_SYSFS=y
 # CONFIG_XEN_COMPAT_030002_AND_LATER is not set
 # CONFIG_XEN_COMPAT_030004_AND_LATER is not set
 CONFIG_XEN_COMPAT_030100_AND_LATER=y