]>
Commit | Line | Data |
---|---|---|
4c928ab7 | 1 | |
302e8df8 MT |
2 | # |
3 | # General setup | |
4 | # | |
5 | CONFIG_BROKEN_ON_SMP=y | |
6 | ||
302e8df8 MT |
7 | # |
8 | # Timers subsystem | |
9 | # | |
10 | CONFIG_NO_HZ_IDLE=y | |
11 | ||
12 | # | |
13 | # CPU/Task time and stats accounting | |
14 | # | |
15 | CONFIG_TICK_CPU_ACCOUNTING=y | |
16 | # CONFIG_VIRT_CPU_ACCOUNTING_GEN is not set | |
17 | # CONFIG_IRQ_TIME_ACCOUNTING is not set | |
18 | ||
19 | # | |
20 | # RCU Subsystem | |
21 | # | |
22 | CONFIG_TINY_RCU=y | |
23 | # CONFIG_RCU_STALL_COMMON is not set | |
24 | ||
4c928ab7 MT |
25 | # |
26 | # System Type | |
27 | # | |
302e8df8 | 28 | # CONFIG_ARCH_MULTIPLATFORM is not set |
4c928ab7 MT |
29 | CONFIG_ARCH_KIRKWOOD=y |
30 | ||
31 | # | |
32 | # Marvell Kirkwood Implementations | |
33 | # | |
b1cbc577 | 34 | CONFIG_KIRKWOOD_LEGACY=y |
703bc627 | 35 | CONFIG_MACH_D2NET_V2=y |
703bc627 MT |
36 | CONFIG_MACH_NET2BIG_V2=y |
37 | CONFIG_MACH_NET5BIG_V2=y | |
703bc627 MT |
38 | CONFIG_MACH_OPENRD=y |
39 | CONFIG_MACH_OPENRD_BASE=y | |
40 | CONFIG_MACH_OPENRD_CLIENT=y | |
41 | CONFIG_MACH_OPENRD_ULTIMATE=y | |
4c928ab7 MT |
42 | CONFIG_MACH_RD88F6192_NAS=y |
43 | CONFIG_MACH_RD88F6281=y | |
703bc627 MT |
44 | CONFIG_MACH_T5325=y |
45 | CONFIG_MACH_TS219=y | |
46 | CONFIG_MACH_TS41X=y | |
47 | ||
48 | # | |
49 | # Device tree entries | |
50 | # | |
c6e2a6c8 | 51 | CONFIG_ARCH_KIRKWOOD_DT=y |
b1cbc577 | 52 | CONFIG_MACH_MV88F6281GTW_GE_DT=y |
81bb0557 | 53 | CONFIG_PLAT_ORION_LEGACY=y |
4c928ab7 MT |
54 | |
55 | # | |
56 | # Processor Type | |
57 | # | |
58 | CONFIG_CPU_FEROCEON=y | |
59 | # CONFIG_CPU_FEROCEON_OLD_ID is not set | |
302e8df8 | 60 | CONFIG_CPU_32v5=y |
4c928ab7 | 61 | CONFIG_CPU_ABRT_EV5T=y |
302e8df8 MT |
62 | CONFIG_CPU_PABRT_LEGACY=y |
63 | CONFIG_CPU_CACHE_VIVT=y | |
4c928ab7 MT |
64 | CONFIG_CPU_COPY_FEROCEON=y |
65 | CONFIG_CPU_TLB_FEROCEON=y | |
302e8df8 | 66 | CONFIG_CPU_USE_DOMAINS=y |
4c928ab7 MT |
67 | |
68 | # | |
69 | # Processor Features | |
70 | # | |
302e8df8 | 71 | CONFIG_NEED_KUSER_HELPERS=y |
4c928ab7 | 72 | CONFIG_CACHE_FEROCEON_L2=y |
a18df16e | 73 | # CONFIG_CACHE_FEROCEON_L2_WRITETHROUGH is not set |
302e8df8 MT |
74 | # CONFIG_CACHE_L2X0 is not set |
75 | CONFIG_ARM_L1_CACHE_SHIFT=5 | |
4c928ab7 | 76 | |
0db4b328 MT |
77 | # |
78 | # PCI host controller drivers | |
79 | # | |
302e8df8 MT |
80 | CONFIG_PCCARD=m |
81 | # CONFIG_PCMCIA is not set | |
82 | CONFIG_CARDBUS=y | |
83 | ||
84 | # | |
85 | # PC-card bridges | |
86 | # | |
87 | CONFIG_YENTA=m | |
88 | CONFIG_YENTA_O2=y | |
89 | CONFIG_YENTA_RICOH=y | |
90 | CONFIG_YENTA_TI=y | |
91 | CONFIG_YENTA_ENE_TUNE=y | |
92 | CONFIG_YENTA_TOSHIBA=y | |
93 | ||
94 | # | |
95 | # Kernel Features | |
96 | # | |
97 | CONFIG_ARCH_NR_GPIO=0 | |
98 | CONFIG_SPLIT_PTLOCK_CPUS=999999 | |
302e8df8 MT |
99 | CONFIG_DEFAULT_MMAP_MIN_ADDR=32768 |
100 | CONFIG_NEED_PER_CPU_KM=y | |
101 | CONFIG_FORCE_MAX_ZONEORDER=11 | |
102 | # CONFIG_UACCESS_WITH_MEMCPY is not set | |
0db4b328 | 103 | |
7c69f2c2 MT |
104 | # |
105 | # Boot options | |
106 | # | |
107 | CONFIG_ARM_ATAG_DTB_COMPAT=y | |
108 | CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_FROM_BOOTLOADER=y | |
109 | # CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_EXTEND is not set | |
302e8df8 MT |
110 | CONFIG_CMDLINE="console=ttyAM0,115200 root=/dev/sda1 rootdelay=20" |
111 | # CONFIG_XIP_KERNEL is not set | |
7c69f2c2 | 112 | |
0db4b328 MT |
113 | # |
114 | # CPU Frequency scaling | |
115 | # | |
116 | CONFIG_CPU_FREQ=y | |
0db4b328 MT |
117 | CONFIG_CPU_FREQ_GOV_COMMON=y |
118 | CONFIG_CPU_FREQ_STAT=m | |
119 | CONFIG_CPU_FREQ_STAT_DETAILS=y | |
120 | # CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set | |
121 | # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set | |
122 | # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set | |
123 | CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y | |
124 | # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set | |
125 | CONFIG_CPU_FREQ_GOV_PERFORMANCE=y | |
126 | CONFIG_CPU_FREQ_GOV_POWERSAVE=m | |
127 | CONFIG_CPU_FREQ_GOV_USERSPACE=m | |
128 | CONFIG_CPU_FREQ_GOV_ONDEMAND=y | |
129 | CONFIG_CPU_FREQ_GOV_CONSERVATIVE=m | |
130 | ||
131 | # | |
132 | # ARM CPU frequency scaling drivers | |
133 | # | |
0db4b328 MT |
134 | CONFIG_ARM_KIRKWOOD_CPUFREQ=y |
135 | ||
302e8df8 MT |
136 | # |
137 | # CPU Idle | |
138 | # | |
139 | # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set | |
140 | ||
6ae109d5 MT |
141 | # |
142 | # Bluetooth device drivers | |
143 | # | |
144 | CONFIG_RFKILL_REGULATOR=m | |
145 | ||
302e8df8 MT |
146 | # |
147 | # Generic Driver Options | |
148 | # | |
149 | # CONFIG_FIRMWARE_IN_KERNEL is not set | |
597e1ee1 | 150 | CONFIG_REGMAP_MMIO=m |
302e8df8 | 151 | |
703bc627 MT |
152 | # |
153 | # Bus devices | |
154 | # | |
302e8df8 MT |
155 | # CONFIG_MTD is not set |
156 | ||
157 | # | |
158 | # Device Tree and Open Firmware support | |
159 | # | |
160 | CONFIG_PARPORT=m | |
161 | CONFIG_PARPORT_PC=m | |
162 | CONFIG_PARPORT_SERIAL=m | |
163 | # CONFIG_PARPORT_PC_FIFO is not set | |
164 | # CONFIG_PARPORT_PC_SUPERIO is not set | |
165 | # CONFIG_PARPORT_GSC is not set | |
166 | # CONFIG_PARPORT_AX88796 is not set | |
167 | CONFIG_PARPORT_1284=y | |
168 | CONFIG_PARPORT_NOT_PC=y | |
169 | # CONFIG_PARIDE is not set | |
170 | CONFIG_BLK_DEV_RAM_SIZE=16384 | |
171 | # CONFIG_MG_DISK is not set | |
172 | ||
173 | # | |
174 | # Misc devices | |
175 | # | |
176 | # CONFIG_SRAM is not set | |
177 | ||
178 | # | |
179 | # SCSI Transports | |
180 | # | |
181 | CONFIG_SCSI_PPA=m | |
182 | CONFIG_SCSI_IMM=m | |
183 | # CONFIG_SCSI_IZIP_EPP16 is not set | |
184 | # CONFIG_SCSI_IZIP_SLOW_CTR is not set | |
185 | ||
186 | # | |
187 | # PIO-only SFF controllers | |
188 | # | |
189 | # CONFIG_PATA_PLATFORM is not set | |
703bc627 | 190 | |
4c928ab7 | 191 | # |
5e856224 | 192 | # Distributed Switch Architecture drivers |
4c928ab7 | 193 | # |
302e8df8 MT |
194 | CONFIG_VORTEX=m |
195 | CONFIG_PCMCIA_XIRCOM=m | |
4c928ab7 | 196 | |
302e8df8 MT |
197 | # |
198 | # MII PHY device drivers | |
199 | # | |
200 | # CONFIG_PLIP is not set | |
201 | ||
202 | # | |
203 | # ISDN feature submodules | |
204 | # | |
205 | # CONFIG_ISDN_DRV_LOOP is not set | |
206 | ||
207 | # | |
208 | # Input device support | |
209 | # | |
597e1ee1 | 210 | CONFIG_INPUT_FF_MEMLESS=m |
302e8df8 MT |
211 | CONFIG_INPUT_MATRIXKMAP=m |
212 | ||
213 | # | |
214 | # Input Device Drivers | |
215 | # | |
597e1ee1 | 216 | CONFIG_KEYBOARD_ADP5520=m |
302e8df8 | 217 | # CONFIG_KEYBOARD_SAMSUNG is not set |
597e1ee1 MT |
218 | CONFIG_KEYBOARD_STMPE=m |
219 | CONFIG_KEYBOARD_TC3589X=m | |
302e8df8 | 220 | # CONFIG_MOUSE_GPIO is not set |
597e1ee1 MT |
221 | CONFIG_INPUT_TWL4030_PWRBUTTON=m |
222 | CONFIG_INPUT_TWL4030_VIBRA=m | |
223 | CONFIG_INPUT_TWL6040_VIBRA=m | |
302e8df8 MT |
224 | |
225 | # | |
226 | # Hardware I/O ports | |
227 | # | |
228 | # CONFIG_SERIO_PARKBD is not set | |
229 | ||
230 | # | |
231 | # Non-8250 serial port support | |
232 | # | |
233 | CONFIG_SERIAL_SCCNXP=m | |
234 | CONFIG_SERIAL_ARC=m | |
235 | CONFIG_PRINTER=m | |
236 | CONFIG_LP_CONSOLE=y | |
237 | CONFIG_PPDEV=m | |
597e1ee1 MT |
238 | |
239 | # | |
240 | # Multiplexer I2C Chip support | |
241 | # | |
302e8df8 MT |
242 | CONFIG_I2C_ALGOBIT=m |
243 | ||
4c928ab7 MT |
244 | # |
245 | # I2C system bus drivers (mostly embedded / system-on-chip) | |
246 | # | |
247 | CONFIG_I2C_MV64XXX=m | |
248 | ||
302e8df8 MT |
249 | # |
250 | # External I2C/SMBus adapter drivers | |
251 | # | |
252 | CONFIG_I2C_PARPORT=m | |
253 | ||
254 | # | |
255 | # PPS clients support | |
256 | # | |
257 | # CONFIG_PPS_CLIENT_PARPORT is not set | |
258 | ||
6ae109d5 MT |
259 | # |
260 | # Pin controllers | |
261 | # | |
6ae109d5 | 262 | CONFIG_PINCTRL_SINGLE=m |
597e1ee1 | 263 | CONFIG_PINCTRL_PALMAS=y |
6ae109d5 | 264 | CONFIG_PINCTRL_KIRKWOOD=y |
4c928ab7 MT |
265 | |
266 | # | |
267 | # Memory mapped GPIO drivers: | |
268 | # | |
269 | CONFIG_GPIO_GENERIC_PLATFORM=y | |
270 | ||
597e1ee1 MT |
271 | # |
272 | # I2C GPIO expanders: | |
273 | # | |
274 | # CONFIG_GPIO_TWL4030 is not set | |
275 | # CONFIG_GPIO_TWL6040 is not set | |
276 | ||
4c928ab7 MT |
277 | # |
278 | # SPI GPIO expanders: | |
279 | # | |
280 | CONFIG_GPIO_MCP23S08=m | |
281 | ||
597e1ee1 MT |
282 | # |
283 | # 1-wire Slaves | |
284 | # | |
285 | CONFIG_MAX8925_POWER=m | |
286 | CONFIG_WM831X_BACKUP=m | |
287 | CONFIG_WM831X_POWER=m | |
288 | CONFIG_WM8350_POWER=m | |
289 | CONFIG_BATTERY_88PM860X=m | |
290 | CONFIG_BATTERY_DA9030=m | |
291 | CONFIG_BATTERY_DA9052=m | |
292 | CONFIG_BATTERY_TWL4030_MADC=m | |
293 | CONFIG_CHARGER_88PM860X=m | |
294 | CONFIG_BATTERY_RX51=m | |
295 | CONFIG_CHARGER_TWL4030=m | |
296 | CONFIG_CHARGER_LP8788=m | |
297 | CONFIG_CHARGER_MAX8997=m | |
298 | CONFIG_CHARGER_MAX8998=m | |
299 | CONFIG_CHARGER_TPS65090=m | |
300 | ||
7f6f4de5 MT |
301 | # |
302 | # Native drivers | |
303 | # | |
597e1ee1 MT |
304 | CONFIG_SENSORS_DA9052_ADC=m |
305 | CONFIG_SENSORS_DA9055=m | |
306 | CONFIG_SENSORS_TWL4030_MADC=m | |
307 | CONFIG_SENSORS_WM831X=m | |
308 | CONFIG_SENSORS_WM8350=m | |
7f6f4de5 | 309 | CONFIG_KIRKWOOD_THERMAL=m |
6ae109d5 | 310 | |
4c928ab7 MT |
311 | # |
312 | # Watchdog Device Drivers | |
313 | # | |
597e1ee1 MT |
314 | CONFIG_DA9052_WATCHDOG=m |
315 | CONFIG_DA9055_WATCHDOG=m | |
316 | CONFIG_WM831X_WATCHDOG=m | |
317 | CONFIG_WM8350_WATCHDOG=m | |
4c928ab7 | 318 | CONFIG_ORION_WATCHDOG=m |
597e1ee1 | 319 | CONFIG_TWL4030_WATCHDOG=m |
4c928ab7 | 320 | |
6ae109d5 MT |
321 | # |
322 | # Multifunction device drivers | |
323 | # | |
302e8df8 | 324 | # CONFIG_ABX500_CORE is not set |
597e1ee1 MT |
325 | |
326 | # | |
327 | # STMicroelectronics STMPE Interface Drivers | |
328 | # | |
302e8df8 | 329 | # CONFIG_MFD_SYSCON is not set |
597e1ee1 | 330 | CONFIG_REGULATOR_88PM8607=m |
6ae109d5 MT |
331 | # CONFIG_REGULATOR_AD5398 is not set |
332 | # CONFIG_REGULATOR_FAN53555 is not set | |
b1cbc577 | 333 | # CONFIG_REGULATOR_GPIO is not set |
6ae109d5 | 334 | # CONFIG_REGULATOR_ISL6271A is not set |
b1cbc577 MT |
335 | # CONFIG_REGULATOR_LP3971 is not set |
336 | # CONFIG_REGULATOR_LP3972 is not set | |
337 | CONFIG_REGULATOR_LP872X=m | |
597e1ee1 | 338 | CONFIG_REGULATOR_LP8788=m |
6ae109d5 MT |
339 | # CONFIG_REGULATOR_MAX1586 is not set |
340 | # CONFIG_REGULATOR_MAX8649 is not set | |
341 | # CONFIG_REGULATOR_MAX8660 is not set | |
342 | # CONFIG_REGULATOR_MAX8952 is not set | |
343 | # CONFIG_REGULATOR_MAX8973 is not set | |
6ae109d5 MT |
344 | # CONFIG_REGULATOR_TPS51632 is not set |
345 | # CONFIG_REGULATOR_TPS62360 is not set | |
346 | # CONFIG_REGULATOR_TPS65023 is not set | |
347 | # CONFIG_REGULATOR_TPS6507X is not set | |
597e1ee1 | 348 | CONFIG_REGULATOR_TWL4030=m |
302e8df8 MT |
349 | |
350 | # | |
351 | # Supported MMC/SDIO adapters | |
352 | # | |
353 | # CONFIG_MEDIA_PARPORT_SUPPORT is not set | |
354 | ||
302e8df8 MT |
355 | # |
356 | # Graphics support | |
357 | # | |
358 | CONFIG_DRM=m | |
359 | CONFIG_DRM_USB=m | |
302e8df8 MT |
360 | |
361 | # | |
362 | # I2C encoder or helper chips | |
363 | # | |
364 | CONFIG_DRM_UDL=m | |
365 | CONFIG_VIDEO_OUTPUT_CONTROL=m | |
366 | # CONFIG_FB_MODE_HELPERS is not set | |
367 | ||
6ae109d5 MT |
368 | # |
369 | # Frame buffer hardware drivers | |
370 | # | |
302e8df8 | 371 | CONFIG_LCD_PLATFORM=m |
6ae109d5 MT |
372 | # CONFIG_BACKLIGHT_PWM is not set |
373 | ||
4c928ab7 MT |
374 | # |
375 | # Console display driver support | |
376 | # | |
302e8df8 MT |
377 | CONFIG_SND_MTS64=m |
378 | CONFIG_SND_PORTMAN2X4=m | |
379 | CONFIG_SND_LX6464ES=m | |
4c928ab7 | 380 | CONFIG_SND_KIRKWOOD_SOC=m |
4c928ab7 MT |
381 | CONFIG_SND_KIRKWOOD_SOC_OPENRD=m |
382 | CONFIG_SND_KIRKWOOD_SOC_T5325=m | |
383 | CONFIG_SND_SOC_ALC5623=m | |
384 | CONFIG_SND_SOC_CS42L51=m | |
385 | ||
703bc627 MT |
386 | # |
387 | # USB Host Controller Drivers | |
388 | # | |
389 | CONFIG_USB_EHCI_HCD_ORION=y | |
390 | ||
302e8df8 MT |
391 | # |
392 | # USB port drivers | |
393 | # | |
394 | CONFIG_USB_USS720=m | |
395 | CONFIG_USB_SERIAL_MOS7715_PARPORT=y | |
396 | ||
397 | # | |
398 | # USB Physical Layer drivers | |
399 | # | |
400 | CONFIG_NOP_USB_XCEIV=m | |
401 | CONFIG_SAMSUNG_USBPHY=m | |
402 | CONFIG_SAMSUNG_USB2PHY=m | |
403 | CONFIG_SAMSUNG_USB3PHY=m | |
404 | CONFIG_MMC=m | |
405 | ||
406 | # | |
407 | # MMC/SD/SDIO Card Drivers | |
408 | # | |
409 | CONFIG_MMC_BLOCK=m | |
410 | ||
4c928ab7 MT |
411 | # |
412 | # MMC/SD/SDIO Host Controller Drivers | |
413 | # | |
302e8df8 | 414 | CONFIG_MMC_SDHCI=m |
4c928ab7 MT |
415 | |
416 | # | |
417 | # LED drivers | |
418 | # | |
597e1ee1 | 419 | CONFIG_LEDS_88PM860X=m |
302e8df8 | 420 | # CONFIG_LEDS_GPIO is not set |
597e1ee1 MT |
421 | CONFIG_LEDS_LP8788=m |
422 | CONFIG_LEDS_WM831X_STATUS=m | |
423 | CONFIG_LEDS_WM8350=m | |
424 | CONFIG_LEDS_DA903X=m | |
425 | CONFIG_LEDS_DA9052=m | |
302e8df8 | 426 | CONFIG_LEDS_PWM=m |
597e1ee1 | 427 | CONFIG_LEDS_ADP5520=m |
4c928ab7 MT |
428 | CONFIG_LEDS_NS2=m |
429 | CONFIG_LEDS_NETXBIG=m | |
597e1ee1 | 430 | CONFIG_LEDS_MAX8997=m |
4c928ab7 | 431 | |
302e8df8 MT |
432 | # |
433 | # LED Triggers | |
434 | # | |
435 | CONFIG_LEDS_TRIGGER_HEARTBEAT=m | |
436 | ||
597e1ee1 MT |
437 | # |
438 | # I2C RTC drivers | |
439 | # | |
440 | CONFIG_RTC_DRV_88PM860X=m | |
441 | CONFIG_RTC_DRV_88PM80X=m | |
442 | CONFIG_RTC_DRV_LP8788=m | |
443 | CONFIG_RTC_DRV_MAX8907=m | |
444 | CONFIG_RTC_DRV_MAX8925=m | |
445 | CONFIG_RTC_DRV_MAX8998=m | |
446 | CONFIG_RTC_DRV_MAX8997=m | |
447 | CONFIG_RTC_DRV_MAX77686=m | |
448 | CONFIG_RTC_DRV_PALMAS=m | |
449 | CONFIG_RTC_DRV_TWL4030=m | |
450 | CONFIG_RTC_DRV_TPS6586X=m | |
451 | CONFIG_RTC_DRV_TPS65910=m | |
452 | CONFIG_RTC_DRV_TPS80031=m | |
453 | CONFIG_RTC_DRV_RC5T583=m | |
454 | ||
455 | # | |
456 | # Platform RTC drivers | |
457 | # | |
458 | CONFIG_RTC_DRV_DA9052=m | |
459 | CONFIG_RTC_DRV_DA9055=m | |
460 | CONFIG_RTC_DRV_WM831X=m | |
461 | CONFIG_RTC_DRV_WM8350=m | |
462 | ||
302e8df8 MT |
463 | # |
464 | # Microsoft Hyper-V guest support | |
465 | # | |
466 | # CONFIG_PANEL is not set | |
467 | ||
028e459b MT |
468 | # |
469 | # Common Clock Framework | |
470 | # | |
597e1ee1 MT |
471 | CONFIG_COMMON_CLK_WM831X=m |
472 | CONFIG_COMMON_CLK_MAX77686=m | |
0db4b328 MT |
473 | CONFIG_KIRKWOOD_CLK=y |
474 | ||
b1cbc577 MT |
475 | # |
476 | # Hardware Spinlock drivers | |
477 | # | |
478 | CONFIG_ORION_TIMER=y | |
479 | ||
597e1ee1 MT |
480 | # |
481 | # Analog to digital converters | |
482 | # | |
483 | CONFIG_LP8788_ADC=y | |
484 | CONFIG_TWL6030_GPADC=m | |
485 | ||
b1cbc577 MT |
486 | # |
487 | # Temperature sensors | |
488 | # | |
302e8df8 MT |
489 | CONFIG_PWM=y |
490 | CONFIG_PWM_SYSFS=y | |
597e1ee1 | 491 | CONFIG_PWM_LP3943=m |
302e8df8 | 492 | CONFIG_PWM_PCA9685=m |
597e1ee1 MT |
493 | CONFIG_PWM_TWL=m |
494 | CONFIG_PWM_TWL_LED=m | |
b1cbc577 MT |
495 | CONFIG_ORION_IRQCHIP=y |
496 | ||
597e1ee1 MT |
497 | # |
498 | # PHY Subsystem | |
499 | # | |
500 | CONFIG_PHY_MVEBU_SATA=y | |
501 | ||
302e8df8 MT |
502 | # |
503 | # Lock Debugging (spinlocks, mutexes, etc...) | |
504 | # | |
505 | # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set | |
506 | # CONFIG_DEBUG_LOCK_ALLOC is not set | |
507 | # CONFIG_PROVE_LOCKING is not set | |
508 | # CONFIG_LOCK_STAT is not set | |
509 | ||
b1cbc577 MT |
510 | # |
511 | # Runtime Testing | |
512 | # | |
513 | CONFIG_DEBUG_LL_INCLUDE="debug/8250.S" | |
b1cbc577 MT |
514 | CONFIG_DEBUG_UART_8250=y |
515 | CONFIG_DEBUG_UART_PHYS=0xf1012000 | |
516 | CONFIG_DEBUG_UART_VIRT=0xfed12000 | |
517 | CONFIG_DEBUG_UART_8250_SHIFT=2 | |
518 | # CONFIG_DEBUG_UART_8250_WORD is not set | |
519 | # CONFIG_DEBUG_UART_8250_FLOW_CONTROL is not set | |
302e8df8 | 520 | CONFIG_UNCOMPRESS_INCLUDE="mach/uncompress.h" |
b1cbc577 | 521 | |
703bc627 MT |
522 | # |
523 | # Library routines | |
524 | # | |
302e8df8 | 525 | CONFIG_HAS_IOPORT=y |
302e8df8 | 526 | # CONFIG_DDR is not set |