#
# Automatically generated make config: don't edit
# Linux kernel version: 2.6.32.9-ipfire
-# Sat Feb 27 16:19:37 2010
+# Wed Mar 10 13:22:52 2010
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
# Processor type and features
#
CONFIG_TICK_ONESHOT=y
-# CONFIG_NO_HZ is not set
+CONFIG_NO_HZ=y
CONFIG_HIGH_RES_TIMERS=y
CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
CONFIG_SMP=y
# CONFIG_X86_SPEEDSTEP_RELAXED_CAP_CHECK is not set
CONFIG_CPU_IDLE=y
CONFIG_CPU_IDLE_GOV_LADDER=y
+CONFIG_CPU_IDLE_GOV_MENU=y
#
# Bus options (PCI etc.)