# 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_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_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