1 |
# |
# |
2 |
# Automatically generated make config: don't edit |
# Automatically generated make config: don't edit |
3 |
# Linux kernel version: 2.6.25 |
# Linux kernel version: 2.6.25-xen-r1 |
4 |
# Fri May 23 19:39:12 2008 |
# Sat May 24 11:01:59 2008 |
5 |
# |
# |
6 |
CONFIG_64BIT=y |
CONFIG_64BIT=y |
7 |
# CONFIG_X86_32 is not set |
# CONFIG_X86_32 is not set |
286 |
# |
# |
287 |
# CPU Frequency scaling |
# CPU Frequency scaling |
288 |
# |
# |
|
# 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 |
|
289 |
CONFIG_CPU_IDLE=y |
CONFIG_CPU_IDLE=y |
290 |
CONFIG_CPU_IDLE_GOV_LADDER=y |
CONFIG_CPU_IDLE_GOV_LADDER=y |
291 |
|
|
3248 |
CONFIG_XEN_CONSOLE=y |
CONFIG_XEN_CONSOLE=y |
3249 |
CONFIG_XEN_SCRUB_PAGES=y |
CONFIG_XEN_SCRUB_PAGES=y |
3250 |
CONFIG_XEN_DISABLE_SERIAL=y |
CONFIG_XEN_DISABLE_SERIAL=y |
3251 |
CONFIG_XEN_SYSFS=m |
CONFIG_XEN_SYSFS=y |
3252 |
# CONFIG_XEN_COMPAT_030002_AND_LATER is not set |
# CONFIG_XEN_COMPAT_030002_AND_LATER is not set |
3253 |
# CONFIG_XEN_COMPAT_030004_AND_LATER is not set |
# CONFIG_XEN_COMPAT_030004_AND_LATER is not set |
3254 |
CONFIG_XEN_COMPAT_030100_AND_LATER=y |
CONFIG_XEN_COMPAT_030100_AND_LATER=y |