1 # CONFIG_ACPI is not set
5 CONFIG_GEODE_MFGPT_TIMER=y
6 # CONFIG_GEODE_WDT is not set
7 CONFIG_HAVE_PERF_EVENTS=y
9 # CONFIG_HWMON_DEBUG_CHIP is not set
10 # CONFIG_ISA is not set
11 # CONFIG_INPUT is not set
12 # CONFIG_KEYBOARD_ATKBD is not set
13 # CONFIG_M486 is not set
15 # CONFIG_MOUSE_PS2 is not set
16 # CONFIG_PCIEPORTBUS is not set
17 CONFIG_PCSPKR_PLATFORM=y
18 CONFIG_PROCESSOR_SELECT=y
19 # CONFIG_SCx200 is not set
20 # CONFIG_SERIO_I8042 is not set
21 # CONFIG_SERIO_LIBPS2 is not set
22 CONFIG_X86_DEBUGCTLMSR=y
23 # CONFIG_X86_DS is not set
24 # CONFIG_X86_GENERIC is not set
25 CONFIG_X86_INTERNODE_CACHE_SHIFT=5
26 CONFIG_X86_L1_CACHE_SHIFT=5
28 CONFIG_X86_USE_3DNOW=y
29 CONFIG_X86_USE_PPRO_CHECKSUM=y