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_XEN_MAX_DOMAIN_MEMORY=64
35 # CONFIG_LGUEST_GUEST is not set
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_PPRO_FENCE is not set
63 CONFIG_X86_ALIGNMENT_16=y
64 CONFIG_X86_INTEL_USERCOPY=y
65 CONFIG_X86_USE_PPRO_CHECKSUM=y
66 CONFIG_X86_MINIMUM_CPU_FAMILY=5
67 CONFIG_CPU_SUP_TRANSMETA_32=y
69 # CONFIG_X86_ANCIENT_MCE is not set
72 # CONFIG_X86_REBOOTFIXUPS is not set
73 # CONFIG_NOHIGHMEM is not set
74 # CONFIG_HIGHMEM4G is not set
76 CONFIG_PAGE_OFFSET=0xC0000000
79 # CONFIG_NUMA is not set
80 CONFIG_ARCH_FLATMEM_ENABLE=y
81 CONFIG_ILLEGAL_POINTER_VALUE=0
82 CONFIG_FLATMEM_MANUAL=y
83 # CONFIG_SPARSEMEM_MANUAL is not set
85 CONFIG_FLAT_NODE_MEM_MAP=y
86 CONFIG_SPARSEMEM_STATIC=y
88 # CONFIG_MATH_EMULATION is not set
89 # CONFIG_KEXEC_JUMP is not set
90 CONFIG_PHYSICAL_START=0x400000
91 CONFIG_X86_NEED_RELOCS=y
92 CONFIG_PHYSICAL_ALIGN=0x400000
95 # Power management and ACPI options
97 CONFIG_ACPI_BLACKLIST_YEAR=1999
100 # CONFIG_APM_IGNORE_USER_SUSPEND is not set
101 # CONFIG_APM_DO_ENABLE is not set
102 CONFIG_APM_CPU_IDLE=y
103 # CONFIG_APM_DISPLAY_BLANK is not set
104 # CONFIG_APM_ALLOW_INTS is not set
107 # x86 CPU frequency scaling drivers
109 # CONFIG_X86_POWERNOW_K6 is not set
110 CONFIG_X86_POWERNOW_K7=y
111 CONFIG_X86_POWERNOW_K7_ACPI=y
112 # CONFIG_X86_GX_SUSPMOD is not set
113 CONFIG_X86_SPEEDSTEP_ICH=y
114 CONFIG_X86_SPEEDSTEP_SMI=y
115 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
117 # CONFIG_X86_LONGHAUL is not set
118 # CONFIG_X86_E_POWERSAVER is not set
123 # CONFIG_X86_SPEEDSTEP_RELAXED_CAP_CHECK is not set
126 # Bus options (PCI etc.)
128 # CONFIG_PCI_GOBIOS is not set
129 # CONFIG_PCI_GOMMCONFIG is not set
130 # CONFIG_PCI_GODIRECT is not set
133 # CONFIG_PCI_PRI is not set
134 # CONFIG_PCI_PASID is not set
135 # CONFIG_ISA is not set
136 # CONFIG_MCA is not set
137 # CONFIG_SCx200 is not set
138 # CONFIG_ALIX is not set
139 # CONFIG_NET5501 is not set
140 # CONFIG_GEOS is not set
145 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
146 # CONFIG_HOTPLUG_PCI_IBM is not set
147 # CONFIG_HOTPLUG_PCI_SHPC is not set
153 # CONFIG_SGI_IOC4 is not set
154 CONFIG_CS5535_MFGPT=m
155 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
156 CONFIG_CS5535_CLOCK_EVENT_SRC=m
161 # CONFIG_SCSI_FLASHPOINT is not set
162 # CONFIG_SCSI_NSP32 is not set
165 # PATA SFF controllers with BMDMA
167 # CONFIG_PATA_CS5535 is not set
170 # Input Device Drivers
172 # CONFIG_INPUT_WISTRON_BTNS is not set
175 # Non-8250 serial port support
177 CONFIG_HW_RANDOM_GEODE=m
179 CONFIG_PC8736x_GPIO=m
183 # PC SMBus host controller drivers
192 # Other I2C/SMBus bus drivers
197 # PCI GPIO expanders:
199 # CONFIG_GPIO_LANGWELL is not set
202 # Watchdog Device Drivers
205 # CONFIG_SBC7240_WDT is not set
208 # Customize TV tuners
210 CONFIG_VIDEOBUF2_DMA_CONTIG=m
213 # Miscelaneous helper chips
215 CONFIG_VIDEO_CAFE_CCIC=m
220 # CONFIG_AGP_ALI is not set
221 # CONFIG_AGP_ATI is not set
222 # CONFIG_AGP_AMD is not set
223 # CONFIG_AGP_NVIDIA is not set
224 # CONFIG_AGP_SWORKS is not set
225 # CONFIG_AGP_EFFICEON is not set
228 # Frame buffer hardware drivers
230 # CONFIG_FB_I810 is not set
233 # Console display driver support
235 # CONFIG_SND_SIS7019 is not set
238 # Reporting subsystems
240 # CONFIG_EDAC_AMD76X is not set
241 # CONFIG_EDAC_E7XXX is not set
242 # CONFIG_EDAC_I82875P is not set
243 # CONFIG_EDAC_I82860 is not set
244 # CONFIG_EDAC_R82600 is not set
252 # Hardware Spinlock drivers
254 CONFIG_CLKSRC_I8253=y
259 # CONFIG_DEBUG_HIGHMEM is not set
260 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
266 CONFIG_GRKERNSEC_VM86=y
271 CONFIG_ARCH_TRACK_EXEC_LIMIT=y
274 # Non-executable pages
276 CONFIG_PAX_SEGMEXEC=y
279 # Miscellaneous hardening features
281 # CONFIG_INTEL_TXT is not set
286 CONFIG_CRYPTO_AES_586=y
287 # CONFIG_CRYPTO_SALSA20_586 is not set
288 CONFIG_CRYPTO_SERPENT_SSE2_586=m
289 CONFIG_CRYPTO_TWOFISH_586=m
292 # Random Number Generation
294 CONFIG_CRYPTO_DEV_GEODE=m
295 # CONFIG_LGUEST is not set
300 CONFIG_AUDIT_GENERIC=y