| 1 | # CONFIG_ACPI is not set |
| 2 | # CONFIG_DMI is not set |
| 3 | CONFIG_CPU_SUP_AMD=y |
| 4 | CONFIG_GEODE_MFGPT_TIMER=y |
| 5 | # CONFIG_GEODE_WDT is not set |
| 6 | CONFIG_HAVE_PERF_EVENTS=y |
| 7 | CONFIG_HWMON=y |
| 8 | # CONFIG_HWMON_DEBUG_CHIP is not set |
| 9 | # CONFIG_ISA is not set |
| 10 | # CONFIG_INPUT is not set |
| 11 | # CONFIG_KEYBOARD_ATKBD is not set |
| 12 | # CONFIG_M486 is not set |
| 13 | CONFIG_MGEODE_LX=y |
| 14 | # CONFIG_MOUSE_PS2 is not set |
| 15 | # CONFIG_PCSPKR_PLATFORM is not set |
| 16 | CONFIG_PROCESSOR_SELECT=y |
| 17 | # CONFIG_SCx200 is not set |
| 18 | # CONFIG_SERIO_I8042 is not set |
| 19 | # CONFIG_SERIO_LIBPS2 is not set |
| 20 | CONFIG_X86_DEBUGCTLMSR=y |
| 21 | # CONFIG_X86_DS is not set |
| 22 | CONFIG_X86_L1_CACHE_SHIFT=5 |
| 23 | CONFIG_X86_TSC=y |
| 24 | CONFIG_X86_USE_3DNOW=y |
| 25 | CONFIG_X86_USE_PPRO_CHECKSUM=y |
| 26 | |
