# CONFIG_EL3 is not set
CONFIG_ELF_CORE=y
# CONFIG_ELPLUS is not set
-# CONFIG_EMBEDDED is not set
# CONFIG_EUROTECH_WDT is not set
CONFIG_EXT2_FS=y
CONFIG_FAST_CMPXCHG_LOCAL=y
# CONFIG_HW_RANDOM_INTEL is not set
CONFIG_HW_RANDOM_VIA=y
CONFIG_HW_RANDOM=y
-# CONFIG_I2C is not set
# CONFIG_I6300ESB_WDT is not set
# CONFIG_I8K is not set
# CONFIG_IB700_WDT is not set
# CONFIG_PNPBIOS is not set
CONFIG_PNP_DEBUG_MESSAGES=y
CONFIG_PNP=y
+# CONFIG_PROCESSOR_SELECT is not set
CONFIG_PROC_PAGE_MONITOR=y
# CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
CONFIG_RD_BZIP2=y
CONFIG_SLUB_DEBUG=y
# CONFIG_SLUB_STATS is not set
CONFIG_SLUB=y
-# CONFIG_SMP is not set
# CONFIG_SMSC37B787_WDT is not set
# CONFIG_SMSC_SCH311X_WDT is not set
# CONFIG_SONYPI is not set
# CONFIG_X86_PAE is not set
CONFIG_X86_PAT=y
CONFIG_X86_PLATFORM_DEVICES=y
+CONFIG_X86_PM_TIMER=y
# CONFIG_X86_POWERNOW_K6 is not set
# CONFIG_X86_POWERNOW_K7 is not set
CONFIG_X86_PPRO_FENCE=y