-# CONFIG_ACPI is not set
-# CONFIG_DMI is not set
+CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
CONFIG_CPU_SUP_AMD=y
-CONFIG_GEODE_MFGPT_TIMER=y
-# CONFIG_GEODE_WDT is not set
+CONFIG_DEBUG_BUGVERBOSE=y
+CONFIG_GENERIC_GPIO=y
+CONFIG_GPIOLIB=y
+CONFIG_GPIO_SYSFS=y
+CONFIG_HAVE_EARLY_RES=y
+CONFIG_HAVE_HW_BREAKPOINT=y
+CONFIG_HAVE_MIXED_BREAKPOINTS_REGS=y
+CONFIG_HAVE_OPTPROBES=y
CONFIG_HAVE_PERF_EVENTS=y
+CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
+CONFIG_HAVE_USER_RETURN_NOTIFIER=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_ILLEGAL_POINTER_VALUE=0
+CONFIG_INSTRUCTION_DECODER=y
+CONFIG_ISA_DMA_API=y
+CONFIG_K8_NB=y
+# CONFIG_LEDS_GPIO is not set
# CONFIG_M486 is not set
CONFIG_MGEODE_LX=y
-# CONFIG_MOUSE_PS2 is not set
+CONFIG_GEODE_MFGPT_TIMER=y
+# CONFIG_NEED_DMA_MAP_STATE is not set
+CONFIG_NEED_SG_DMA_LENGTH=y
+# CONFIG_PCIEPORTBUS is not set
# CONFIG_PCSPKR_PLATFORM is not set
+CONFIG_PERF_EVENTS=y
CONFIG_PROCESSOR_SELECT=y
+CONFIG_SCSI_MOD=y
# CONFIG_SCx200 is not set
# CONFIG_SERIO_I8042 is not set
# CONFIG_SERIO_LIBPS2 is not set
+# CONFIG_TINY_RCU is not set
+CONFIG_X86_CMOV=y
CONFIG_X86_DEBUGCTLMSR=y
-# CONFIG_X86_DS is not set
+# CONFIG_X86_GENERIC is not set
+CONFIG_X86_INTERNODE_CACHE_SHIFT=5
CONFIG_X86_L1_CACHE_SHIFT=5
CONFIG_X86_TSC=y
CONFIG_X86_USE_3DNOW=y