+++ /dev/null
-# CONFIG_ACPI is not set
-# CONFIG_DMI is not set
-CONFIG_CPU_SUP_AMD=y
-CONFIG_GEODE_MFGPT_TIMER=y
-# CONFIG_GEODE_WDT is not set
-CONFIG_HAVE_PERF_EVENTS=y
-CONFIG_HWMON=y
-# CONFIG_HWMON_DEBUG_CHIP is not set
-# CONFIG_ISA is not set
-# CONFIG_INPUT is not set
-# CONFIG_KEYBOARD_ATKBD is not set
-# CONFIG_M486 is not set
-CONFIG_MGEODE_LX=y
-# CONFIG_MOUSE_PS2 is not set
-# CONFIG_PCSPKR_PLATFORM is not set
-CONFIG_PROCESSOR_SELECT=y
-# CONFIG_SCx200 is not set
-# CONFIG_SERIO_I8042 is not set
-# CONFIG_SERIO_LIBPS2 is not set
-CONFIG_X86_DEBUGCTLMSR=y
-# CONFIG_X86_DS is not set
-CONFIG_X86_L1_CACHE_SHIFT=5
-CONFIG_X86_TSC=y
-CONFIG_X86_USE_3DNOW=y
-CONFIG_X86_USE_PPRO_CHECKSUM=y