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_ZONE_DMA32 is not set
7 # CONFIG_AUDIT_ARCH is not set
9 CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-ecx -fcall-saved-edx"
22 # GCOV-based kernel profiling
27 # Processor type and features
30 # CONFIG_X86_WANT_INTEL_MID is not set
31 # CONFIG_X86_RDC321X is not set
32 CONFIG_X86_32_NON_STANDARD=y
33 # CONFIG_X86_NUMAQ is not set
34 # CONFIG_STA2X11 is not set
35 # CONFIG_X86_SUMMIT is not set
36 # CONFIG_X86_ES7000 is not set
38 CONFIG_XEN_MAX_DOMAIN_MEMORY=64
39 # CONFIG_LGUEST_GUEST is not set
40 # CONFIG_M386 is not set
41 # CONFIG_M486 is not set
42 # CONFIG_M586 is not set
43 # CONFIG_M586TSC is not set
44 # CONFIG_M586MMX is not set
46 # CONFIG_MPENTIUMII is not set
47 # CONFIG_MPENTIUMIII is not set
48 # CONFIG_MPENTIUMM is not set
49 # CONFIG_MPENTIUM4 is not set
50 # CONFIG_MK6 is not set
51 # CONFIG_MK7 is not set
52 # CONFIG_MCRUSOE is not set
53 # CONFIG_MEFFICEON is not set
54 # CONFIG_MWINCHIPC6 is not set
55 # CONFIG_MWINCHIP3D is not set
56 # CONFIG_MELAN is not set
57 # CONFIG_MGEODEGX1 is not set
58 # CONFIG_MGEODE_LX is not set
59 # CONFIG_MCYRIXIII is not set
60 # CONFIG_MVIAC3_2 is not set
61 # CONFIG_MVIAC7 is not set
63 # CONFIG_X86_PPRO_FENCE is not set
67 CONFIG_X86_ALIGNMENT_16=y
68 CONFIG_X86_INTEL_USERCOPY=y
69 CONFIG_X86_USE_PPRO_CHECKSUM=y
70 CONFIG_X86_MINIMUM_CPU_FAMILY=5
71 CONFIG_CPU_SUP_TRANSMETA_32=y
73 # CONFIG_X86_ANCIENT_MCE is not set
76 # CONFIG_X86_REBOOTFIXUPS is not set
77 # CONFIG_NOHIGHMEM is not set
78 # CONFIG_HIGHMEM4G is not set
80 CONFIG_PAGE_OFFSET=0xC0000000
83 # CONFIG_NUMA is not set
84 CONFIG_ARCH_FLATMEM_ENABLE=y
85 CONFIG_ILLEGAL_POINTER_VALUE=0
86 CONFIG_FLATMEM_MANUAL=y
87 # CONFIG_SPARSEMEM_MANUAL is not set
89 CONFIG_FLAT_NODE_MEM_MAP=y
90 CONFIG_SPARSEMEM_STATIC=y
92 # CONFIG_MATH_EMULATION is not set
93 # CONFIG_KEXEC_JUMP is not set
94 CONFIG_PHYSICAL_START=0x400000
95 CONFIG_X86_NEED_RELOCS=y
96 CONFIG_PHYSICAL_ALIGN=0x400000
99 # Power management and ACPI options
101 CONFIG_ACPI_BLACKLIST_YEAR=1999
102 CONFIG_X86_APM_BOOT=y
104 # CONFIG_APM_IGNORE_USER_SUSPEND is not set
105 # CONFIG_APM_DO_ENABLE is not set
106 CONFIG_APM_CPU_IDLE=y
107 # CONFIG_APM_DISPLAY_BLANK is not set
108 # CONFIG_APM_ALLOW_INTS is not set
111 # x86 CPU frequency scaling drivers
113 # CONFIG_X86_POWERNOW_K6 is not set
114 CONFIG_X86_POWERNOW_K7=y
115 CONFIG_X86_POWERNOW_K7_ACPI=y
116 # CONFIG_X86_GX_SUSPMOD is not set
117 CONFIG_X86_SPEEDSTEP_ICH=y
118 CONFIG_X86_SPEEDSTEP_SMI=y
119 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
121 # CONFIG_X86_LONGHAUL is not set
122 # CONFIG_X86_E_POWERSAVER is not set
127 # CONFIG_X86_SPEEDSTEP_RELAXED_CAP_CHECK is not set
130 # Bus options (PCI etc.)
132 # CONFIG_PCI_GOBIOS is not set
133 # CONFIG_PCI_GOMMCONFIG is not set
134 # CONFIG_PCI_GODIRECT is not set
137 # CONFIG_PCI_PRI is not set
138 # CONFIG_PCI_PASID is not set
139 # CONFIG_ISA is not set
140 # CONFIG_SCx200 is not set
141 # CONFIG_ALIX is not set
142 # CONFIG_NET5501 is not set
143 # CONFIG_GEOS is not set
148 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
149 # CONFIG_HOTPLUG_PCI_IBM is not set
150 # CONFIG_HOTPLUG_PCI_SHPC is not set
156 # CONFIG_SGI_IOC4 is not set
157 CONFIG_CS5535_MFGPT=m
158 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
159 CONFIG_CS5535_CLOCK_EVENT_SRC=m
164 # CONFIG_SCSI_FLASHPOINT is not set
165 # CONFIG_SCSI_NSP32 is not set
168 # PATA SFF controllers with BMDMA
170 # CONFIG_PATA_CS5535 is not set
173 # Input Device Drivers
175 # CONFIG_INPUT_WISTRON_BTNS is not set
178 # Non-8250 serial port support
180 CONFIG_HW_RANDOM_GEODE=m
182 CONFIG_PC8736x_GPIO=m
186 # PC SMBus host controller drivers
195 # Other I2C/SMBus bus drivers
200 # PCI GPIO expanders:
202 # CONFIG_GPIO_LANGWELL is not set
205 # Watchdog Device Drivers
208 # CONFIG_SBC7240_WDT is not set
211 # Customize TV tuners
213 CONFIG_VIDEOBUF2_DMA_CONTIG=m
216 # Miscelaneous helper chips
218 CONFIG_VIDEO_CAFE_CCIC=m
223 # CONFIG_AGP_ALI is not set
224 # CONFIG_AGP_ATI is not set
225 # CONFIG_AGP_AMD is not set
226 # CONFIG_AGP_NVIDIA is not set
227 # CONFIG_AGP_SWORKS is not set
228 # CONFIG_AGP_EFFICEON is not set
231 # Frame buffer hardware drivers
233 # CONFIG_FB_I810 is not set
236 # Console display driver support
238 # CONFIG_SND_SIS7019 is not set
241 # Reporting subsystems
243 # CONFIG_EDAC_AMD76X is not set
244 # CONFIG_EDAC_E7XXX is not set
245 # CONFIG_EDAC_I82875P is not set
246 # CONFIG_EDAC_I82860 is not set
247 # CONFIG_EDAC_R82600 is not set
255 # Hardware Spinlock drivers
257 CONFIG_CLKSRC_I8253=y
262 # CONFIG_DEBUG_HIGHMEM is not set
263 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
269 CONFIG_ARCH_TRACK_EXEC_LIMIT=y
272 # Non-executable pages
274 CONFIG_PAX_SEGMEXEC=y
279 CONFIG_GRKERNSEC_VM86=y
284 # CONFIG_INTEL_TXT is not set
289 CONFIG_CRYPTO_AES_586=y
290 # CONFIG_CRYPTO_SALSA20_586 is not set
291 CONFIG_CRYPTO_SERPENT_SSE2_586=m
292 CONFIG_CRYPTO_TWOFISH_586=m
295 # Random Number Generation
297 CONFIG_CRYPTO_DEV_GEODE=m
298 # CONFIG_LGUEST is not set
303 CONFIG_AUDIT_GENERIC=y