1 CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
3 CONFIG_DEBUG_BUGVERBOSE=y
7 CONFIG_HAVE_EARLY_RES=y
8 CONFIG_HAVE_HW_BREAKPOINT=y
9 CONFIG_HAVE_MIXED_BREAKPOINTS_REGS=y
10 CONFIG_HAVE_OPTPROBES=y
11 CONFIG_HAVE_PERF_EVENTS=y
12 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
13 CONFIG_HAVE_USER_RETURN_NOTIFIER=y
15 # CONFIG_HWMON_DEBUG_CHIP is not set
16 CONFIG_ILLEGAL_POINTER_VALUE=0
17 CONFIG_INSTRUCTION_DECODER=y
20 # CONFIG_LEDS_GPIO is not set
21 # CONFIG_M486 is not set
23 CONFIG_GEODE_MFGPT_TIMER=y
24 # CONFIG_NEED_DMA_MAP_STATE is not set
25 CONFIG_NEED_SG_DMA_LENGTH=y
26 # CONFIG_PCIEPORTBUS is not set
27 # CONFIG_PCSPKR_PLATFORM is not set
29 CONFIG_PROCESSOR_SELECT=y
31 # CONFIG_SCx200 is not set
32 # CONFIG_SERIO_I8042 is not set
33 # CONFIG_SERIO_LIBPS2 is not set
34 # CONFIG_TINY_RCU is not set
36 CONFIG_X86_DEBUGCTLMSR=y
37 # CONFIG_X86_GENERIC is not set
38 CONFIG_X86_INTERNODE_CACHE_SHIFT=5
39 CONFIG_X86_L1_CACHE_SHIFT=5
41 CONFIG_X86_USE_3DNOW=y
42 CONFIG_X86_USE_PPRO_CHECKSUM=y