| 1 | # CONFIG_ACPI is not set |
| 2 | CONFIG_DMI=y |
| 3 | CONFIG_DMIID=y |
| 4 | CONFIG_CPU_SUP_AMD=y |
| 5 | CONFIG_GEODE_MFGPT_TIMER=y |
| 6 | # CONFIG_GEODE_WDT is not set |
| 7 | CONFIG_HAVE_PERF_EVENTS=y |
| 8 | CONFIG_HWMON=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 |
| 14 | CONFIG_MGEODE_LX=y |
| 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 |
| 27 | CONFIG_X86_TSC=y |
| 28 | CONFIG_X86_USE_3DNOW=y |
| 29 | CONFIG_X86_USE_PPRO_CHECKSUM=y |
| 30 | CONFIG_GPIOLIB=y |
| 31 | # CONFIG_CS5535_CLOCK_EVENT_SRC is not set |
| 32 | CONFIG_PATA_CS5536=y |
| 33 | |
