1 # CONFIG_64BIT is not set
3 # CONFIG_X86_64 is not set
4 CONFIG_OUTPUT_FORMAT="elf32-i386"
5 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"
6 # CONFIG_GENERIC_TIME_VSYSCALL is not set
7 # CONFIG_ZONE_DMA32 is not set
8 # CONFIG_AUDIT_ARCH is not set
10 CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
19 # GCOV-based kernel profiling
24 # Processor type and features
27 # CONFIG_X86_WANT_INTEL_MID is not set
28 # CONFIG_X86_RDC321X is not set
29 CONFIG_X86_32_NON_STANDARD=y
30 # CONFIG_X86_NUMAQ is not set
31 # CONFIG_X86_SUMMIT is not set
32 # CONFIG_X86_ES7000 is not set
34 # CONFIG_LGUEST_GUEST is not set
35 CONFIG_X86_CYCLONE_TIMER=y
36 # CONFIG_M386 is not set
37 # CONFIG_M486 is not set
38 # CONFIG_M586 is not set
39 # CONFIG_M586TSC is not set
40 # CONFIG_M586MMX is not set
42 # CONFIG_MPENTIUMII is not set
43 # CONFIG_MPENTIUMIII is not set
44 # CONFIG_MPENTIUMM is not set
45 # CONFIG_MPENTIUM4 is not set
46 # CONFIG_MK6 is not set
47 # CONFIG_MK7 is not set
48 # CONFIG_MCRUSOE is not set
49 # CONFIG_MEFFICEON is not set
50 # CONFIG_MWINCHIPC6 is not set
51 # CONFIG_MWINCHIP3D is not set
52 # CONFIG_MELAN is not set
53 # CONFIG_MGEODEGX1 is not set
54 # CONFIG_MGEODE_LX is not set
55 # CONFIG_MCYRIXIII is not set
56 # CONFIG_MVIAC3_2 is not set
57 # CONFIG_MVIAC7 is not set
59 CONFIG_X86_INTERNODE_CACHE_SHIFT=6
60 # CONFIG_X86_PPRO_FENCE is not set
64 CONFIG_X86_ALIGNMENT_16=y
65 CONFIG_X86_INTEL_USERCOPY=y
66 CONFIG_X86_USE_PPRO_CHECKSUM=y
67 CONFIG_X86_MINIMUM_CPU_FAMILY=5
68 CONFIG_CPU_SUP_CYRIX_32=y
69 CONFIG_CPU_SUP_TRANSMETA_32=y
70 CONFIG_CPU_SUP_UMC_32=y
72 # CONFIG_X86_ANCIENT_MCE is not set
75 # CONFIG_X86_REBOOTFIXUPS is not set
76 # CONFIG_NOHIGHMEM is not set
77 # CONFIG_HIGHMEM4G is not set
79 CONFIG_PAGE_OFFSET=0xC0000000
82 # CONFIG_NUMA is not set
83 CONFIG_ARCH_FLATMEM_ENABLE=y
84 CONFIG_ILLEGAL_POINTER_VALUE=0
85 CONFIG_FLATMEM_MANUAL=y
86 # CONFIG_SPARSEMEM_MANUAL is not set
88 CONFIG_FLAT_NODE_MEM_MAP=y
89 CONFIG_SPARSEMEM_STATIC=y
91 # CONFIG_MATH_EMULATION is not set
92 # CONFIG_KEXEC_JUMP is not set
93 CONFIG_PHYSICAL_START=0x400000
94 CONFIG_X86_NEED_RELOCS=y
95 CONFIG_PHYSICAL_ALIGN=0x400000
98 # Power management and ACPI options
100 CONFIG_ACPI_BLACKLIST_YEAR=1999
101 CONFIG_X86_APM_BOOT=y
103 # CONFIG_APM_IGNORE_USER_SUSPEND is not set
104 # CONFIG_APM_DO_ENABLE is not set
105 CONFIG_APM_CPU_IDLE=y
106 # CONFIG_APM_DISPLAY_BLANK is not set
107 # CONFIG_APM_ALLOW_INTS is not set
110 # x86 CPU frequency scaling drivers
112 # CONFIG_X86_POWERNOW_K6 is not set
113 CONFIG_X86_POWERNOW_K7=y
114 CONFIG_X86_POWERNOW_K7_ACPI=y
115 # CONFIG_X86_GX_SUSPMOD is not set
116 CONFIG_X86_SPEEDSTEP_ICH=y
117 CONFIG_X86_SPEEDSTEP_SMI=y
118 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
120 # CONFIG_X86_LONGHAUL is not set
121 # CONFIG_X86_E_POWERSAVER is not set
126 # CONFIG_X86_SPEEDSTEP_RELAXED_CAP_CHECK is not set
129 # Bus options (PCI etc.)
131 # CONFIG_PCI_GOBIOS is not set
132 # CONFIG_PCI_GOMMCONFIG is not set
133 # CONFIG_PCI_GODIRECT is not set
136 # CONFIG_ISA is not set
137 # CONFIG_MCA is not set
138 # CONFIG_SCx200 is not set
139 # CONFIG_ALIX is not set
144 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
145 # CONFIG_HOTPLUG_PCI_IBM is not set
146 # CONFIG_HOTPLUG_PCI_SHPC is not set
152 # CONFIG_SGI_IOC4 is not set
153 CONFIG_CS5535_MFGPT=m
154 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
155 CONFIG_CS5535_CLOCK_EVENT_SRC=m
160 # CONFIG_SCSI_FLASHPOINT is not set
161 # CONFIG_SCSI_NSP32 is not set
164 # PATA SFF controllers with BMDMA
166 # CONFIG_PATA_CS5535 is not set
169 # Input Device Drivers
171 # CONFIG_INPUT_WISTRON_BTNS is not set
174 # Non-8250 serial port support
176 CONFIG_HW_RANDOM_GEODE=m
178 CONFIG_PC8736x_GPIO=m
182 # PC SMBus host controller drivers
191 # Other I2C/SMBus bus drivers
196 # PCI GPIO expanders:
198 # CONFIG_GPIO_LANGWELL is not set
201 # Watchdog Device Drivers
204 # CONFIG_SBC7240_WDT is not set
207 # Customize TV tuners
209 CONFIG_VIDEOBUF2_DMA_CONTIG=m
212 # Miscelaneous helper chips
214 CONFIG_VIDEO_CAFE_CCIC=m
219 # CONFIG_AGP_ALI is not set
220 # CONFIG_AGP_ATI is not set
221 # CONFIG_AGP_AMD is not set
222 # CONFIG_AGP_NVIDIA is not set
223 # CONFIG_AGP_SWORKS is not set
224 # CONFIG_AGP_EFFICEON is not set
227 # Frame buffer hardware drivers
229 # CONFIG_FB_I810 is not set
232 # Console display driver support
234 # CONFIG_SND_SIS7019 is not set
237 # Reporting subsystems
239 # CONFIG_EDAC_AMD76X is not set
240 # CONFIG_EDAC_E7XXX is not set
241 # CONFIG_EDAC_I82875P is not set
242 # CONFIG_EDAC_I82860 is not set
243 # CONFIG_EDAC_R82600 is not set
246 # Speakup console speech
251 # Hardware Spinlock drivers
253 CONFIG_CLKSRC_I8253=y
258 # CONFIG_DEBUG_HIGHMEM is not set
259 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
265 CONFIG_GRKERNSEC_VM86=y
270 CONFIG_ARCH_TRACK_EXEC_LIMIT=y
273 # Non-executable pages
275 CONFIG_PAX_SEGMEXEC=y
278 # Miscellaneous hardening features
280 # CONFIG_INTEL_TXT is not set
285 CONFIG_CRYPTO_AES_586=y
286 # CONFIG_CRYPTO_SALSA20_586 is not set
287 CONFIG_CRYPTO_TWOFISH_586=m
290 # Random Number Generation
292 CONFIG_CRYPTO_DEV_GEODE=m
293 # CONFIG_LGUEST is not set
298 CONFIG_AUDIT_GENERIC=y