2010-10-11 06:48:33 +08:00
|
|
|
# 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
|
2010-11-18 06:41:17 +08:00
|
|
|
# CONFIG_PCIEPORTBUS is not set
|
2010-10-11 06:48:33 +08:00
|
|
|
# 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
|
2010-11-22 06:56:33 +08:00
|
|
|
# CONFIG_X86_GENERIC is not set
|
|
|
|
CONFIG_X86_INTERNODE_CACHE_SHIFT=5
|
2010-10-11 06:48:33 +08:00
|
|
|
CONFIG_X86_L1_CACHE_SHIFT=5
|
|
|
|
CONFIG_X86_TSC=y
|
|
|
|
CONFIG_X86_USE_3DNOW=y
|
|
|
|
CONFIG_X86_USE_PPRO_CHECKSUM=y
|