ARM: 6166/1: Proper prefetch abort handling on pre-ARMv6
[pandora-kernel.git] / arch / arm / configs / s3c6400_defconfig
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.34
4 # Sat May 22 03:17:32 2010
5 #
6 CONFIG_ARM=y
7 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
8 CONFIG_GENERIC_GPIO=y
9 CONFIG_HAVE_PROC_CPU=y
10 CONFIG_NO_IOPORT=y
11 CONFIG_GENERIC_HARDIRQS=y
12 CONFIG_STACKTRACE_SUPPORT=y
13 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
14 CONFIG_LOCKDEP_SUPPORT=y
15 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
16 CONFIG_HARDIRQS_SW_RESEND=y
17 CONFIG_GENERIC_IRQ_PROBE=y
18 CONFIG_RWSEM_GENERIC_SPINLOCK=y
19 CONFIG_ARCH_HAS_CPUFREQ=y
20 CONFIG_GENERIC_HWEIGHT=y
21 CONFIG_GENERIC_CALIBRATE_DELAY=y
22 CONFIG_NEED_DMA_MAP_STATE=y
23 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
24 CONFIG_VECTORS_BASE=0xffff0000
25 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
26 CONFIG_CONSTRUCTORS=y
27
28 #
29 # General setup
30 #
31 CONFIG_EXPERIMENTAL=y
32 CONFIG_BROKEN_ON_SMP=y
33 CONFIG_INIT_ENV_ARG_LIMIT=32
34 CONFIG_LOCALVERSION=""
35 CONFIG_LOCALVERSION_AUTO=y
36 CONFIG_HAVE_KERNEL_GZIP=y
37 CONFIG_HAVE_KERNEL_LZO=y
38 CONFIG_KERNEL_GZIP=y
39 # CONFIG_KERNEL_BZIP2 is not set
40 # CONFIG_KERNEL_LZMA is not set
41 # CONFIG_KERNEL_LZO is not set
42 CONFIG_SWAP=y
43 # CONFIG_SYSVIPC is not set
44 # CONFIG_BSD_PROCESS_ACCT is not set
45
46 #
47 # RCU Subsystem
48 #
49 CONFIG_TREE_RCU=y
50 # CONFIG_TREE_PREEMPT_RCU is not set
51 # CONFIG_TINY_RCU is not set
52 # CONFIG_RCU_TRACE is not set
53 CONFIG_RCU_FANOUT=32
54 # CONFIG_RCU_FANOUT_EXACT is not set
55 # CONFIG_TREE_RCU_TRACE is not set
56 # CONFIG_IKCONFIG is not set
57 CONFIG_LOG_BUF_SHIFT=17
58 # CONFIG_CGROUPS is not set
59 CONFIG_SYSFS_DEPRECATED=y
60 CONFIG_SYSFS_DEPRECATED_V2=y
61 # CONFIG_RELAY is not set
62 CONFIG_NAMESPACES=y
63 # CONFIG_UTS_NS is not set
64 # CONFIG_USER_NS is not set
65 # CONFIG_PID_NS is not set
66 CONFIG_BLK_DEV_INITRD=y
67 CONFIG_INITRAMFS_SOURCE=""
68 CONFIG_RD_GZIP=y
69 CONFIG_RD_BZIP2=y
70 CONFIG_RD_LZMA=y
71 CONFIG_RD_LZO=y
72 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
73 CONFIG_SYSCTL=y
74 CONFIG_ANON_INODES=y
75 # CONFIG_EMBEDDED is not set
76 CONFIG_UID16=y
77 CONFIG_SYSCTL_SYSCALL=y
78 CONFIG_KALLSYMS=y
79 CONFIG_KALLSYMS_ALL=y
80 # CONFIG_KALLSYMS_EXTRA_PASS is not set
81 CONFIG_HOTPLUG=y
82 CONFIG_PRINTK=y
83 CONFIG_BUG=y
84 CONFIG_ELF_CORE=y
85 CONFIG_BASE_FULL=y
86 CONFIG_FUTEX=y
87 CONFIG_EPOLL=y
88 CONFIG_SIGNALFD=y
89 CONFIG_TIMERFD=y
90 CONFIG_EVENTFD=y
91 CONFIG_SHMEM=y
92 CONFIG_AIO=y
93 CONFIG_HAVE_PERF_EVENTS=y
94 CONFIG_PERF_USE_VMALLOC=y
95
96 #
97 # Kernel Performance Events And Counters
98 #
99 # CONFIG_PERF_EVENTS is not set
100 # CONFIG_PERF_COUNTERS is not set
101 CONFIG_VM_EVENT_COUNTERS=y
102 CONFIG_SLUB_DEBUG=y
103 CONFIG_COMPAT_BRK=y
104 # CONFIG_SLAB is not set
105 CONFIG_SLUB=y
106 # CONFIG_SLOB is not set
107 # CONFIG_PROFILING is not set
108 CONFIG_HAVE_OPROFILE=y
109 # CONFIG_KPROBES is not set
110 CONFIG_HAVE_KPROBES=y
111 CONFIG_HAVE_KRETPROBES=y
112 CONFIG_HAVE_CLK=y
113
114 #
115 # GCOV-based kernel profiling
116 #
117 # CONFIG_SLOW_WORK is not set
118 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
119 CONFIG_SLABINFO=y
120 CONFIG_RT_MUTEXES=y
121 CONFIG_BASE_SMALL=0
122 CONFIG_MODULES=y
123 # CONFIG_MODULE_FORCE_LOAD is not set
124 CONFIG_MODULE_UNLOAD=y
125 # CONFIG_MODULE_FORCE_UNLOAD is not set
126 # CONFIG_MODVERSIONS is not set
127 # CONFIG_MODULE_SRCVERSION_ALL is not set
128 CONFIG_BLOCK=y
129 CONFIG_LBDAF=y
130 # CONFIG_BLK_DEV_BSG is not set
131 # CONFIG_BLK_DEV_INTEGRITY is not set
132
133 #
134 # IO Schedulers
135 #
136 CONFIG_IOSCHED_NOOP=y
137 CONFIG_IOSCHED_DEADLINE=y
138 CONFIG_IOSCHED_CFQ=y
139 # CONFIG_DEFAULT_DEADLINE is not set
140 CONFIG_DEFAULT_CFQ=y
141 # CONFIG_DEFAULT_NOOP is not set
142 CONFIG_DEFAULT_IOSCHED="cfq"
143 # CONFIG_INLINE_SPIN_TRYLOCK is not set
144 # CONFIG_INLINE_SPIN_TRYLOCK_BH is not set
145 # CONFIG_INLINE_SPIN_LOCK is not set
146 # CONFIG_INLINE_SPIN_LOCK_BH is not set
147 # CONFIG_INLINE_SPIN_LOCK_IRQ is not set
148 # CONFIG_INLINE_SPIN_LOCK_IRQSAVE is not set
149 # CONFIG_INLINE_SPIN_UNLOCK is not set
150 # CONFIG_INLINE_SPIN_UNLOCK_BH is not set
151 # CONFIG_INLINE_SPIN_UNLOCK_IRQ is not set
152 # CONFIG_INLINE_SPIN_UNLOCK_IRQRESTORE is not set
153 # CONFIG_INLINE_READ_TRYLOCK is not set
154 # CONFIG_INLINE_READ_LOCK is not set
155 # CONFIG_INLINE_READ_LOCK_BH is not set
156 # CONFIG_INLINE_READ_LOCK_IRQ is not set
157 # CONFIG_INLINE_READ_LOCK_IRQSAVE is not set
158 # CONFIG_INLINE_READ_UNLOCK is not set
159 # CONFIG_INLINE_READ_UNLOCK_BH is not set
160 # CONFIG_INLINE_READ_UNLOCK_IRQ is not set
161 # CONFIG_INLINE_READ_UNLOCK_IRQRESTORE is not set
162 # CONFIG_INLINE_WRITE_TRYLOCK is not set
163 # CONFIG_INLINE_WRITE_LOCK is not set
164 # CONFIG_INLINE_WRITE_LOCK_BH is not set
165 # CONFIG_INLINE_WRITE_LOCK_IRQ is not set
166 # CONFIG_INLINE_WRITE_LOCK_IRQSAVE is not set
167 # CONFIG_INLINE_WRITE_UNLOCK is not set
168 # CONFIG_INLINE_WRITE_UNLOCK_BH is not set
169 # CONFIG_INLINE_WRITE_UNLOCK_IRQ is not set
170 # CONFIG_INLINE_WRITE_UNLOCK_IRQRESTORE is not set
171 # CONFIG_MUTEX_SPIN_ON_OWNER is not set
172 CONFIG_FREEZER=y
173
174 #
175 # System Type
176 #
177 CONFIG_MMU=y
178 # CONFIG_ARCH_AAEC2000 is not set
179 # CONFIG_ARCH_INTEGRATOR is not set
180 # CONFIG_ARCH_REALVIEW is not set
181 # CONFIG_ARCH_VERSATILE is not set
182 # CONFIG_ARCH_AT91 is not set
183 # CONFIG_ARCH_BCMRING is not set
184 # CONFIG_ARCH_CLPS711X is not set
185 # CONFIG_ARCH_GEMINI is not set
186 # CONFIG_ARCH_EBSA110 is not set
187 # CONFIG_ARCH_EP93XX is not set
188 # CONFIG_ARCH_FOOTBRIDGE is not set
189 # CONFIG_ARCH_MXC is not set
190 # CONFIG_ARCH_STMP3XXX is not set
191 # CONFIG_ARCH_NETX is not set
192 # CONFIG_ARCH_H720X is not set
193 # CONFIG_ARCH_IOP13XX is not set
194 # CONFIG_ARCH_IOP32X is not set
195 # CONFIG_ARCH_IOP33X is not set
196 # CONFIG_ARCH_IXP23XX is not set
197 # CONFIG_ARCH_IXP2000 is not set
198 # CONFIG_ARCH_IXP4XX is not set
199 # CONFIG_ARCH_L7200 is not set
200 # CONFIG_ARCH_DOVE is not set
201 # CONFIG_ARCH_KIRKWOOD is not set
202 # CONFIG_ARCH_LOKI is not set
203 # CONFIG_ARCH_MV78XX0 is not set
204 # CONFIG_ARCH_ORION5X is not set
205 # CONFIG_ARCH_MMP is not set
206 # CONFIG_ARCH_KS8695 is not set
207 # CONFIG_ARCH_NS9XXX is not set
208 # CONFIG_ARCH_W90X900 is not set
209 # CONFIG_ARCH_NUC93X is not set
210 # CONFIG_ARCH_PNX4008 is not set
211 # CONFIG_ARCH_PXA is not set
212 # CONFIG_ARCH_MSM is not set
213 # CONFIG_ARCH_SHMOBILE is not set
214 # CONFIG_ARCH_RPC is not set
215 # CONFIG_ARCH_SA1100 is not set
216 # CONFIG_ARCH_S3C2410 is not set
217 CONFIG_ARCH_S3C64XX=y
218 # CONFIG_ARCH_S5P6440 is not set
219 # CONFIG_ARCH_S5P6442 is not set
220 # CONFIG_ARCH_S5PC1XX is not set
221 # CONFIG_ARCH_S5PV210 is not set
222 # CONFIG_ARCH_SHARK is not set
223 # CONFIG_ARCH_LH7A40X is not set
224 # CONFIG_ARCH_U300 is not set
225 # CONFIG_ARCH_U8500 is not set
226 # CONFIG_ARCH_NOMADIK is not set
227 # CONFIG_ARCH_DAVINCI is not set
228 # CONFIG_ARCH_OMAP is not set
229 CONFIG_PLAT_SAMSUNG=y
230
231 #
232 # Boot options
233 #
234 CONFIG_S3C_BOOT_ERROR_RESET=y
235 CONFIG_S3C_BOOT_UART_FORCE_FIFO=y
236 CONFIG_S3C_LOWLEVEL_UART_PORT=0
237 CONFIG_SAMSUNG_CLKSRC=y
238 CONFIG_SAMSUNG_IRQ_VIC_TIMER=y
239 CONFIG_SAMSUNG_IRQ_UART=y
240 CONFIG_SAMSUNG_GPIOLIB_4BIT=y
241 CONFIG_S3C_GPIO_CFG_S3C24XX=y
242 CONFIG_S3C_GPIO_CFG_S3C64XX=y
243 CONFIG_S3C_GPIO_PULL_UPDOWN=y
244 CONFIG_SAMSUNG_GPIO_EXTRA=0
245 CONFIG_S3C_GPIO_SPACE=0
246 CONFIG_S3C_GPIO_TRACK=y
247 # CONFIG_S3C_ADC is not set
248 CONFIG_S3C_DEV_HSMMC=y
249 CONFIG_S3C_DEV_HSMMC1=y
250 CONFIG_S3C_DEV_I2C1=y
251 CONFIG_S3C_DEV_FB=y
252 CONFIG_S3C_DEV_USB_HOST=y
253 CONFIG_S3C_DEV_USB_HSOTG=y
254 CONFIG_S3C_DEV_NAND=y
255 CONFIG_S3C_DMA=y
256
257 #
258 # Power management
259 #
260 # CONFIG_SAMSUNG_PM_DEBUG is not set
261 # CONFIG_S3C_PM_DEBUG_LED_SMDK is not set
262 # CONFIG_SAMSUNG_PM_CHECK is not set
263 CONFIG_PLAT_S3C64XX=y
264 CONFIG_CPU_S3C6410=y
265 CONFIG_S3C64XX_DMA=y
266 CONFIG_S3C64XX_SETUP_SDHCI=y
267 CONFIG_S3C64XX_SETUP_I2C0=y
268 CONFIG_S3C64XX_SETUP_I2C1=y
269 CONFIG_S3C64XX_SETUP_FB_24BPP=y
270 CONFIG_S3C64XX_SETUP_SDHCI_GPIO=y
271 # CONFIG_MACH_SMDK6400 is not set
272 # CONFIG_MACH_ANW6410 is not set
273 CONFIG_MACH_SMDK6410=y
274 CONFIG_SMDK6410_SD_CH0=y
275 # CONFIG_SMDK6410_SD_CH1 is not set
276 # CONFIG_SMDK6410_WM1190_EV1 is not set
277 # CONFIG_SMDK6410_WM1192_EV1 is not set
278 # CONFIG_MACH_NCP is not set
279 # CONFIG_MACH_HMT is not set
280
281 #
282 # Processor Type
283 #
284 CONFIG_CPU_V6=y
285 CONFIG_CPU_32v6K=y
286 CONFIG_CPU_32v6=y
287 CONFIG_CPU_ABRT_EV6=y
288 CONFIG_CPU_PABRT_V6=y
289 CONFIG_CPU_CACHE_V6=y
290 CONFIG_CPU_CACHE_VIPT=y
291 CONFIG_CPU_COPY_V6=y
292 CONFIG_CPU_TLB_V6=y
293 CONFIG_CPU_HAS_ASID=y
294 CONFIG_CPU_CP15=y
295 CONFIG_CPU_CP15_MMU=y
296
297 #
298 # Processor Features
299 #
300 CONFIG_ARM_THUMB=y
301 # CONFIG_CPU_ICACHE_DISABLE is not set
302 # CONFIG_CPU_DCACHE_DISABLE is not set
303 # CONFIG_CPU_BPREDICT_DISABLE is not set
304 CONFIG_ARM_L1_CACHE_SHIFT=5
305 CONFIG_CPU_HAS_PMU=y
306 # CONFIG_ARM_ERRATA_411920 is not set
307 CONFIG_ARM_VIC=y
308 CONFIG_ARM_VIC_NR=2
309
310 #
311 # Bus support
312 #
313 # CONFIG_PCI_SYSCALL is not set
314 # CONFIG_ARCH_SUPPORTS_MSI is not set
315 # CONFIG_PCCARD is not set
316
317 #
318 # Kernel Features
319 #
320 CONFIG_VMSPLIT_3G=y
321 # CONFIG_VMSPLIT_2G is not set
322 # CONFIG_VMSPLIT_1G is not set
323 CONFIG_PAGE_OFFSET=0xC0000000
324 CONFIG_PREEMPT_NONE=y
325 # CONFIG_PREEMPT_VOLUNTARY is not set
326 # CONFIG_PREEMPT is not set
327 CONFIG_HZ=100
328 CONFIG_AEABI=y
329 CONFIG_OABI_COMPAT=y
330 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
331 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
332 # CONFIG_HIGHMEM is not set
333 CONFIG_SELECT_MEMORY_MODEL=y
334 CONFIG_FLATMEM_MANUAL=y
335 # CONFIG_DISCONTIGMEM_MANUAL is not set
336 # CONFIG_SPARSEMEM_MANUAL is not set
337 CONFIG_FLATMEM=y
338 CONFIG_FLAT_NODE_MEM_MAP=y
339 CONFIG_PAGEFLAGS_EXTENDED=y
340 CONFIG_SPLIT_PTLOCK_CPUS=999999
341 # CONFIG_PHYS_ADDR_T_64BIT is not set
342 CONFIG_ZONE_DMA_FLAG=0
343 CONFIG_VIRT_TO_BUS=y
344 # CONFIG_KSM is not set
345 CONFIG_DEFAULT_MMAP_MIN_ADDR=4096
346 CONFIG_ALIGNMENT_TRAP=y
347 # CONFIG_UACCESS_WITH_MEMCPY is not set
348
349 #
350 # Boot options
351 #
352 CONFIG_ZBOOT_ROM_TEXT=0
353 CONFIG_ZBOOT_ROM_BSS=0
354 CONFIG_CMDLINE="console=ttySAC0,115200 root=/dev/ram init=/linuxrc initrd=0x51000000,6M ramdisk_size=6144"
355 # CONFIG_XIP_KERNEL is not set
356 # CONFIG_KEXEC is not set
357
358 #
359 # CPU Power Management
360 #
361 # CONFIG_CPU_FREQ is not set
362 # CONFIG_CPU_IDLE is not set
363
364 #
365 # Floating point emulation
366 #
367
368 #
369 # At least one emulation must be selected
370 #
371 # CONFIG_FPE_NWFPE is not set
372 # CONFIG_FPE_FASTFPE is not set
373 CONFIG_VFP=y
374
375 #
376 # Userspace binary formats
377 #
378 CONFIG_BINFMT_ELF=y
379 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
380 CONFIG_HAVE_AOUT=y
381 # CONFIG_BINFMT_AOUT is not set
382 # CONFIG_BINFMT_MISC is not set
383
384 #
385 # Power management options
386 #
387 CONFIG_PM=y
388 # CONFIG_PM_DEBUG is not set
389 CONFIG_PM_SLEEP=y
390 CONFIG_SUSPEND=y
391 CONFIG_SUSPEND_FREEZER=y
392 # CONFIG_APM_EMULATION is not set
393 # CONFIG_PM_RUNTIME is not set
394 CONFIG_PM_OPS=y
395 CONFIG_ARCH_SUSPEND_POSSIBLE=y
396 # CONFIG_NET is not set
397
398 #
399 # Device Drivers
400 #
401
402 #
403 # Generic Driver Options
404 #
405 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
406 # CONFIG_DEVTMPFS is not set
407 CONFIG_STANDALONE=y
408 CONFIG_PREVENT_FIRMWARE_BUILD=y
409 CONFIG_FW_LOADER=y
410 CONFIG_FIRMWARE_IN_KERNEL=y
411 CONFIG_EXTRA_FIRMWARE=""
412 # CONFIG_DEBUG_DRIVER is not set
413 # CONFIG_DEBUG_DEVRES is not set
414 # CONFIG_SYS_HYPERVISOR is not set
415 CONFIG_MTD=y
416 # CONFIG_MTD_DEBUG is not set
417 # CONFIG_MTD_TESTS is not set
418 # CONFIG_MTD_CONCAT is not set
419 # CONFIG_MTD_PARTITIONS is not set
420
421 #
422 # User Modules And Translation Layers
423 #
424 # CONFIG_MTD_CHAR is not set
425 # CONFIG_MTD_BLKDEVS is not set
426 # CONFIG_MTD_BLOCK is not set
427 # CONFIG_MTD_BLOCK_RO is not set
428 # CONFIG_FTL is not set
429 # CONFIG_NFTL is not set
430 # CONFIG_INFTL is not set
431 # CONFIG_RFD_FTL is not set
432 # CONFIG_SSFDC is not set
433 # CONFIG_MTD_OOPS is not set
434
435 #
436 # RAM/ROM/Flash chip drivers
437 #
438 # CONFIG_MTD_CFI is not set
439 # CONFIG_MTD_JEDECPROBE is not set
440 CONFIG_MTD_MAP_BANK_WIDTH_1=y
441 CONFIG_MTD_MAP_BANK_WIDTH_2=y
442 CONFIG_MTD_MAP_BANK_WIDTH_4=y
443 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
444 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
445 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
446 CONFIG_MTD_CFI_I1=y
447 CONFIG_MTD_CFI_I2=y
448 # CONFIG_MTD_CFI_I4 is not set
449 # CONFIG_MTD_CFI_I8 is not set
450 # CONFIG_MTD_RAM is not set
451 # CONFIG_MTD_ROM is not set
452 # CONFIG_MTD_ABSENT is not set
453
454 #
455 # Mapping drivers for chip access
456 #
457 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
458 # CONFIG_MTD_PLATRAM is not set
459
460 #
461 # Self-contained MTD device drivers
462 #
463 # CONFIG_MTD_SLRAM is not set
464 # CONFIG_MTD_PHRAM is not set
465 # CONFIG_MTD_MTDRAM is not set
466 # CONFIG_MTD_BLOCK2MTD is not set
467
468 #
469 # Disk-On-Chip Device Drivers
470 #
471 # CONFIG_MTD_DOC2000 is not set
472 # CONFIG_MTD_DOC2001 is not set
473 # CONFIG_MTD_DOC2001PLUS is not set
474 CONFIG_MTD_NAND=y
475 # CONFIG_MTD_NAND_VERIFY_WRITE is not set
476 # CONFIG_MTD_NAND_ECC_SMC is not set
477 # CONFIG_MTD_NAND_MUSEUM_IDS is not set
478 # CONFIG_MTD_NAND_GPIO is not set
479 CONFIG_MTD_NAND_IDS=y
480 CONFIG_MTD_NAND_S3C2410=y
481 # CONFIG_MTD_NAND_S3C2410_DEBUG is not set
482 # CONFIG_MTD_NAND_S3C2410_HWECC is not set
483 # CONFIG_MTD_NAND_S3C2410_CLKSTOP is not set
484 # CONFIG_MTD_NAND_DISKONCHIP is not set
485 # CONFIG_MTD_NAND_PLATFORM is not set
486 # CONFIG_MTD_ONENAND is not set
487
488 #
489 # LPDDR flash memory drivers
490 #
491 # CONFIG_MTD_LPDDR is not set
492
493 #
494 # UBI - Unsorted block images
495 #
496 # CONFIG_MTD_UBI is not set
497 # CONFIG_PARPORT is not set
498 CONFIG_BLK_DEV=y
499 # CONFIG_BLK_DEV_COW_COMMON is not set
500 CONFIG_BLK_DEV_LOOP=y
501 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
502
503 #
504 # DRBD disabled because PROC_FS, INET or CONNECTOR not selected
505 #
506 CONFIG_BLK_DEV_RAM=y
507 CONFIG_BLK_DEV_RAM_COUNT=16
508 CONFIG_BLK_DEV_RAM_SIZE=4096
509 # CONFIG_BLK_DEV_XIP is not set
510 # CONFIG_CDROM_PKTCDVD is not set
511 # CONFIG_MG_DISK is not set
512 CONFIG_MISC_DEVICES=y
513 # CONFIG_AD525X_DPOT is not set
514 # CONFIG_ICS932S401 is not set
515 # CONFIG_ENCLOSURE_SERVICES is not set
516 # CONFIG_ISL29003 is not set
517 # CONFIG_SENSORS_TSL2550 is not set
518 # CONFIG_DS1682 is not set
519 # CONFIG_C2PORT is not set
520
521 #
522 # EEPROM support
523 #
524 CONFIG_EEPROM_AT24=y
525 # CONFIG_EEPROM_LEGACY is not set
526 # CONFIG_EEPROM_MAX6875 is not set
527 # CONFIG_EEPROM_93CX6 is not set
528 # CONFIG_IWMC3200TOP is not set
529 CONFIG_HAVE_IDE=y
530 # CONFIG_IDE is not set
531
532 #
533 # SCSI device support
534 #
535 CONFIG_SCSI_MOD=y
536 # CONFIG_RAID_ATTRS is not set
537 # CONFIG_SCSI is not set
538 # CONFIG_SCSI_DMA is not set
539 # CONFIG_SCSI_NETLINK is not set
540 # CONFIG_ATA is not set
541 # CONFIG_MD is not set
542 # CONFIG_PHONE is not set
543
544 #
545 # Input device support
546 #
547 CONFIG_INPUT=y
548 # CONFIG_INPUT_FF_MEMLESS is not set
549 # CONFIG_INPUT_POLLDEV is not set
550 # CONFIG_INPUT_SPARSEKMAP is not set
551
552 #
553 # Userland interfaces
554 #
555 CONFIG_INPUT_MOUSEDEV=y
556 CONFIG_INPUT_MOUSEDEV_PSAUX=y
557 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
558 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
559 # CONFIG_INPUT_JOYDEV is not set
560 # CONFIG_INPUT_EVDEV is not set
561 # CONFIG_INPUT_EVBUG is not set
562
563 #
564 # Input Device Drivers
565 #
566 CONFIG_INPUT_KEYBOARD=y
567 # CONFIG_KEYBOARD_ADP5588 is not set
568 CONFIG_KEYBOARD_ATKBD=y
569 # CONFIG_QT2160 is not set
570 # CONFIG_KEYBOARD_LKKBD is not set
571 # CONFIG_KEYBOARD_GPIO is not set
572 # CONFIG_KEYBOARD_MATRIX is not set
573 # CONFIG_KEYBOARD_MAX7359 is not set
574 # CONFIG_KEYBOARD_NEWTON is not set
575 # CONFIG_KEYBOARD_OPENCORES is not set
576 # CONFIG_KEYBOARD_STOWAWAY is not set
577 # CONFIG_KEYBOARD_SUNKBD is not set
578 # CONFIG_KEYBOARD_XTKBD is not set
579 CONFIG_INPUT_MOUSE=y
580 CONFIG_MOUSE_PS2=y
581 CONFIG_MOUSE_PS2_ALPS=y
582 CONFIG_MOUSE_PS2_LOGIPS2PP=y
583 CONFIG_MOUSE_PS2_SYNAPTICS=y
584 CONFIG_MOUSE_PS2_TRACKPOINT=y
585 # CONFIG_MOUSE_PS2_ELANTECH is not set
586 # CONFIG_MOUSE_PS2_SENTELIC is not set
587 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
588 # CONFIG_MOUSE_SERIAL is not set
589 # CONFIG_MOUSE_APPLETOUCH is not set
590 # CONFIG_MOUSE_BCM5974 is not set
591 # CONFIG_MOUSE_VSXXXAA is not set
592 # CONFIG_MOUSE_GPIO is not set
593 # CONFIG_MOUSE_SYNAPTICS_I2C is not set
594 # CONFIG_INPUT_JOYSTICK is not set
595 # CONFIG_INPUT_TABLET is not set
596 # CONFIG_INPUT_TOUCHSCREEN is not set
597 # CONFIG_INPUT_MISC is not set
598
599 #
600 # Hardware I/O ports
601 #
602 CONFIG_SERIO=y
603 CONFIG_SERIO_SERPORT=y
604 CONFIG_SERIO_LIBPS2=y
605 # CONFIG_SERIO_RAW is not set
606 # CONFIG_SERIO_ALTERA_PS2 is not set
607 # CONFIG_GAMEPORT is not set
608
609 #
610 # Character devices
611 #
612 CONFIG_VT=y
613 CONFIG_CONSOLE_TRANSLATIONS=y
614 CONFIG_VT_CONSOLE=y
615 CONFIG_HW_CONSOLE=y
616 # CONFIG_VT_HW_CONSOLE_BINDING is not set
617 CONFIG_DEVKMEM=y
618 # CONFIG_SERIAL_NONSTANDARD is not set
619
620 #
621 # Serial drivers
622 #
623 CONFIG_SERIAL_8250=y
624 # CONFIG_SERIAL_8250_CONSOLE is not set
625 CONFIG_SERIAL_8250_NR_UARTS=4
626 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
627 # CONFIG_SERIAL_8250_EXTENDED is not set
628
629 #
630 # Non-8250 serial port support
631 #
632 CONFIG_SERIAL_SAMSUNG=y
633 CONFIG_SERIAL_SAMSUNG_UARTS_4=y
634 CONFIG_SERIAL_SAMSUNG_UARTS=4
635 # CONFIG_SERIAL_SAMSUNG_DEBUG is not set
636 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
637 CONFIG_SERIAL_S3C6400=y
638 CONFIG_SERIAL_CORE=y
639 CONFIG_SERIAL_CORE_CONSOLE=y
640 # CONFIG_SERIAL_TIMBERDALE is not set
641 CONFIG_UNIX98_PTYS=y
642 # CONFIG_DEVPTS_MULTIPLE_INSTANCES is not set
643 CONFIG_LEGACY_PTYS=y
644 CONFIG_LEGACY_PTY_COUNT=256
645 # CONFIG_IPMI_HANDLER is not set
646 CONFIG_HW_RANDOM=y
647 # CONFIG_HW_RANDOM_TIMERIOMEM is not set
648 # CONFIG_R3964 is not set
649 # CONFIG_RAW_DRIVER is not set
650 # CONFIG_TCG_TPM is not set
651 CONFIG_I2C=y
652 CONFIG_I2C_BOARDINFO=y
653 CONFIG_I2C_COMPAT=y
654 CONFIG_I2C_CHARDEV=y
655 CONFIG_I2C_HELPER_AUTO=y
656
657 #
658 # I2C Hardware Bus support
659 #
660
661 #
662 # I2C system bus drivers (mostly embedded / system-on-chip)
663 #
664 # CONFIG_I2C_DESIGNWARE is not set
665 # CONFIG_I2C_GPIO is not set
666 # CONFIG_I2C_OCORES is not set
667 CONFIG_I2C_S3C2410=y
668 # CONFIG_I2C_SIMTEC is not set
669 # CONFIG_I2C_XILINX is not set
670
671 #
672 # External I2C/SMBus adapter drivers
673 #
674 # CONFIG_I2C_PARPORT_LIGHT is not set
675 # CONFIG_I2C_TAOS_EVM is not set
676
677 #
678 # Other I2C/SMBus bus drivers
679 #
680 # CONFIG_I2C_PCA_PLATFORM is not set
681 # CONFIG_I2C_STUB is not set
682 # CONFIG_I2C_DEBUG_CORE is not set
683 # CONFIG_I2C_DEBUG_ALGO is not set
684 # CONFIG_I2C_DEBUG_BUS is not set
685 # CONFIG_SPI is not set
686
687 #
688 # PPS support
689 #
690 # CONFIG_PPS is not set
691 CONFIG_ARCH_REQUIRE_GPIOLIB=y
692 CONFIG_GPIOLIB=y
693 # CONFIG_DEBUG_GPIO is not set
694 # CONFIG_GPIO_SYSFS is not set
695
696 #
697 # Memory mapped GPIO expanders:
698 #
699 # CONFIG_GPIO_IT8761E is not set
700
701 #
702 # I2C GPIO expanders:
703 #
704 # CONFIG_GPIO_MAX7300 is not set
705 # CONFIG_GPIO_MAX732X is not set
706 # CONFIG_GPIO_PCA953X is not set
707 # CONFIG_GPIO_PCF857X is not set
708 # CONFIG_GPIO_ADP5588 is not set
709
710 #
711 # PCI GPIO expanders:
712 #
713
714 #
715 # SPI GPIO expanders:
716 #
717
718 #
719 # AC97 GPIO expanders:
720 #
721 # CONFIG_W1 is not set
722 # CONFIG_POWER_SUPPLY is not set
723 CONFIG_HWMON=y
724 # CONFIG_HWMON_VID is not set
725 # CONFIG_HWMON_DEBUG_CHIP is not set
726
727 #
728 # Native drivers
729 #
730 # CONFIG_SENSORS_AD7414 is not set
731 # CONFIG_SENSORS_AD7418 is not set
732 # CONFIG_SENSORS_ADM1021 is not set
733 # CONFIG_SENSORS_ADM1025 is not set
734 # CONFIG_SENSORS_ADM1026 is not set
735 # CONFIG_SENSORS_ADM1029 is not set
736 # CONFIG_SENSORS_ADM1031 is not set
737 # CONFIG_SENSORS_ADM9240 is not set
738 # CONFIG_SENSORS_ADT7411 is not set
739 # CONFIG_SENSORS_ADT7462 is not set
740 # CONFIG_SENSORS_ADT7470 is not set
741 # CONFIG_SENSORS_ADT7475 is not set
742 # CONFIG_SENSORS_ASC7621 is not set
743 # CONFIG_SENSORS_ATXP1 is not set
744 # CONFIG_SENSORS_DS1621 is not set
745 # CONFIG_SENSORS_F71805F is not set
746 # CONFIG_SENSORS_F71882FG is not set
747 # CONFIG_SENSORS_F75375S is not set
748 # CONFIG_SENSORS_G760A is not set
749 # CONFIG_SENSORS_GL518SM is not set
750 # CONFIG_SENSORS_GL520SM is not set
751 # CONFIG_SENSORS_IT87 is not set
752 # CONFIG_SENSORS_LM63 is not set
753 # CONFIG_SENSORS_LM73 is not set
754 # CONFIG_SENSORS_LM75 is not set
755 # CONFIG_SENSORS_LM77 is not set
756 # CONFIG_SENSORS_LM78 is not set
757 # CONFIG_SENSORS_LM80 is not set
758 # CONFIG_SENSORS_LM83 is not set
759 # CONFIG_SENSORS_LM85 is not set
760 # CONFIG_SENSORS_LM87 is not set
761 # CONFIG_SENSORS_LM90 is not set
762 # CONFIG_SENSORS_LM92 is not set
763 # CONFIG_SENSORS_LM93 is not set
764 # CONFIG_SENSORS_LTC4215 is not set
765 # CONFIG_SENSORS_LTC4245 is not set
766 # CONFIG_SENSORS_LM95241 is not set
767 # CONFIG_SENSORS_MAX1619 is not set
768 # CONFIG_SENSORS_MAX6650 is not set
769 # CONFIG_SENSORS_PC87360 is not set
770 # CONFIG_SENSORS_PC87427 is not set
771 # CONFIG_SENSORS_PCF8591 is not set
772 # CONFIG_SENSORS_SHT15 is not set
773 # CONFIG_SENSORS_DME1737 is not set
774 # CONFIG_SENSORS_SMSC47M1 is not set
775 # CONFIG_SENSORS_SMSC47M192 is not set
776 # CONFIG_SENSORS_SMSC47B397 is not set
777 # CONFIG_SENSORS_ADS7828 is not set
778 # CONFIG_SENSORS_AMC6821 is not set
779 # CONFIG_SENSORS_THMC50 is not set
780 # CONFIG_SENSORS_TMP401 is not set
781 # CONFIG_SENSORS_TMP421 is not set
782 # CONFIG_SENSORS_VT1211 is not set
783 # CONFIG_SENSORS_W83781D is not set
784 # CONFIG_SENSORS_W83791D is not set
785 # CONFIG_SENSORS_W83792D is not set
786 # CONFIG_SENSORS_W83793 is not set
787 # CONFIG_SENSORS_W83L785TS is not set
788 # CONFIG_SENSORS_W83L786NG is not set
789 # CONFIG_SENSORS_W83627HF is not set
790 # CONFIG_SENSORS_W83627EHF is not set
791 # CONFIG_SENSORS_LIS3_I2C is not set
792 # CONFIG_THERMAL is not set
793 # CONFIG_WATCHDOG is not set
794 CONFIG_SSB_POSSIBLE=y
795
796 #
797 # Sonics Silicon Backplane
798 #
799 # CONFIG_SSB is not set
800
801 #
802 # Multifunction device drivers
803 #
804 # CONFIG_MFD_CORE is not set
805 # CONFIG_MFD_88PM860X is not set
806 # CONFIG_MFD_SM501 is not set
807 # CONFIG_MFD_ASIC3 is not set
808 # CONFIG_HTC_EGPIO is not set
809 # CONFIG_HTC_PASIC3 is not set
810 # CONFIG_HTC_I2CPLD is not set
811 # CONFIG_UCB1400_CORE is not set
812 # CONFIG_TPS65010 is not set
813 # CONFIG_TWL4030_CORE is not set
814 # CONFIG_MFD_TMIO is not set
815 # CONFIG_MFD_T7L66XB is not set
816 # CONFIG_MFD_TC6387XB is not set
817 # CONFIG_MFD_TC6393XB is not set
818 # CONFIG_PMIC_DA903X is not set
819 # CONFIG_PMIC_ADP5520 is not set
820 # CONFIG_MFD_MAX8925 is not set
821 # CONFIG_MFD_WM8400 is not set
822 # CONFIG_MFD_WM831X is not set
823 # CONFIG_MFD_WM8350_I2C is not set
824 # CONFIG_MFD_WM8994 is not set
825 # CONFIG_MFD_PCF50633 is not set
826 # CONFIG_AB3100_CORE is not set
827 # CONFIG_REGULATOR is not set
828 # CONFIG_MEDIA_SUPPORT is not set
829
830 #
831 # Graphics support
832 #
833 # CONFIG_VGASTATE is not set
834 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
835 # CONFIG_FB is not set
836 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
837
838 #
839 # Display device support
840 #
841 # CONFIG_DISPLAY_SUPPORT is not set
842
843 #
844 # Console display driver support
845 #
846 # CONFIG_VGA_CONSOLE is not set
847 CONFIG_DUMMY_CONSOLE=y
848 CONFIG_SOUND=y
849 CONFIG_SOUND_OSS_CORE=y
850 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
851 CONFIG_SND=m
852 CONFIG_SND_TIMER=m
853 CONFIG_SND_PCM=m
854 CONFIG_SND_JACK=y
855 # CONFIG_SND_SEQUENCER is not set
856 CONFIG_SND_OSSEMUL=y
857 CONFIG_SND_MIXER_OSS=m
858 CONFIG_SND_PCM_OSS=m
859 CONFIG_SND_PCM_OSS_PLUGINS=y
860 # CONFIG_SND_DYNAMIC_MINORS is not set
861 CONFIG_SND_SUPPORT_OLD_API=y
862 CONFIG_SND_VERBOSE_PROCFS=y
863 # CONFIG_SND_VERBOSE_PRINTK is not set
864 # CONFIG_SND_DEBUG is not set
865 # CONFIG_SND_RAWMIDI_SEQ is not set
866 # CONFIG_SND_OPL3_LIB_SEQ is not set
867 # CONFIG_SND_OPL4_LIB_SEQ is not set
868 # CONFIG_SND_SBAWE_SEQ is not set
869 # CONFIG_SND_EMU10K1_SEQ is not set
870 CONFIG_SND_DRIVERS=y
871 # CONFIG_SND_DUMMY is not set
872 # CONFIG_SND_MTPAV is not set
873 # CONFIG_SND_SERIAL_U16550 is not set
874 # CONFIG_SND_MPU401 is not set
875 CONFIG_SND_ARM=y
876 CONFIG_SND_SOC=m
877 CONFIG_SND_SOC_AC97_BUS=y
878 CONFIG_SND_S3C24XX_SOC=m
879 CONFIG_SND_S3C_SOC_AC97=m
880 CONFIG_SND_SOC_SMDK_WM9713=m
881 CONFIG_SND_SOC_I2C_AND_SPI=m
882 # CONFIG_SND_SOC_ALL_CODECS is not set
883 CONFIG_SND_SOC_WM9713=m
884 # CONFIG_SOUND_PRIME is not set
885 CONFIG_AC97_BUS=m
886 CONFIG_HID_SUPPORT=y
887 CONFIG_HID=y
888 # CONFIG_HIDRAW is not set
889 # CONFIG_HID_PID is not set
890
891 #
892 # Special HID drivers
893 #
894 CONFIG_USB_SUPPORT=y
895 CONFIG_USB_ARCH_HAS_HCD=y
896 CONFIG_USB_ARCH_HAS_OHCI=y
897 # CONFIG_USB_ARCH_HAS_EHCI is not set
898 # CONFIG_USB is not set
899
900 #
901 # Enable Host or Gadget support to see Inventra options
902 #
903
904 #
905 # NOTE: USB_STORAGE depends on SCSI but BLK_DEV_SD may
906 #
907 # CONFIG_USB_GADGET is not set
908
909 #
910 # OTG and related infrastructure
911 #
912 CONFIG_MMC=y
913 CONFIG_MMC_DEBUG=y
914 CONFIG_MMC_UNSAFE_RESUME=y
915
916 #
917 # MMC/SD/SDIO Card Drivers
918 #
919 CONFIG_MMC_BLOCK=y
920 CONFIG_MMC_BLOCK_BOUNCE=y
921 CONFIG_SDIO_UART=y
922 # CONFIG_MMC_TEST is not set
923
924 #
925 # MMC/SD/SDIO Host Controller Drivers
926 #
927 CONFIG_MMC_SDHCI=y
928 # CONFIG_MMC_SDHCI_PLTFM is not set
929 CONFIG_MMC_SDHCI_S3C=y
930 # CONFIG_MMC_SDHCI_S3C_DMA is not set
931 # CONFIG_MEMSTICK is not set
932 # CONFIG_NEW_LEDS is not set
933 # CONFIG_ACCESSIBILITY is not set
934 CONFIG_RTC_LIB=y
935 # CONFIG_RTC_CLASS is not set
936 # CONFIG_DMADEVICES is not set
937 # CONFIG_AUXDISPLAY is not set
938 # CONFIG_UIO is not set
939
940 #
941 # TI VLYNQ
942 #
943 # CONFIG_STAGING is not set
944
945 #
946 # File systems
947 #
948 CONFIG_EXT2_FS=y
949 # CONFIG_EXT2_FS_XATTR is not set
950 # CONFIG_EXT2_FS_XIP is not set
951 CONFIG_EXT3_FS=y
952 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
953 CONFIG_EXT3_FS_XATTR=y
954 CONFIG_EXT3_FS_POSIX_ACL=y
955 CONFIG_EXT3_FS_SECURITY=y
956 # CONFIG_EXT4_FS is not set
957 CONFIG_JBD=y
958 CONFIG_FS_MBCACHE=y
959 # CONFIG_REISERFS_FS is not set
960 # CONFIG_JFS_FS is not set
961 CONFIG_FS_POSIX_ACL=y
962 # CONFIG_XFS_FS is not set
963 # CONFIG_GFS2_FS is not set
964 # CONFIG_BTRFS_FS is not set
965 # CONFIG_NILFS2_FS is not set
966 CONFIG_FILE_LOCKING=y
967 CONFIG_FSNOTIFY=y
968 CONFIG_DNOTIFY=y
969 CONFIG_INOTIFY=y
970 CONFIG_INOTIFY_USER=y
971 # CONFIG_QUOTA is not set
972 # CONFIG_AUTOFS_FS is not set
973 # CONFIG_AUTOFS4_FS is not set
974 # CONFIG_FUSE_FS is not set
975 CONFIG_GENERIC_ACL=y
976
977 #
978 # Caches
979 #
980 # CONFIG_FSCACHE is not set
981
982 #
983 # CD-ROM/DVD Filesystems
984 #
985 # CONFIG_ISO9660_FS is not set
986 # CONFIG_UDF_FS is not set
987
988 #
989 # DOS/FAT/NT Filesystems
990 #
991 # CONFIG_MSDOS_FS is not set
992 # CONFIG_VFAT_FS is not set
993 # CONFIG_NTFS_FS is not set
994
995 #
996 # Pseudo filesystems
997 #
998 CONFIG_PROC_FS=y
999 CONFIG_PROC_SYSCTL=y
1000 CONFIG_PROC_PAGE_MONITOR=y
1001 CONFIG_SYSFS=y
1002 CONFIG_TMPFS=y
1003 CONFIG_TMPFS_POSIX_ACL=y
1004 # CONFIG_HUGETLB_PAGE is not set
1005 # CONFIG_CONFIGFS_FS is not set
1006 CONFIG_MISC_FILESYSTEMS=y
1007 # CONFIG_ADFS_FS is not set
1008 # CONFIG_AFFS_FS is not set
1009 # CONFIG_HFS_FS is not set
1010 # CONFIG_HFSPLUS_FS is not set
1011 # CONFIG_BEFS_FS is not set
1012 # CONFIG_BFS_FS is not set
1013 # CONFIG_EFS_FS is not set
1014 # CONFIG_JFFS2_FS is not set
1015 # CONFIG_LOGFS is not set
1016 CONFIG_CRAMFS=y
1017 # CONFIG_SQUASHFS is not set
1018 # CONFIG_VXFS_FS is not set
1019 # CONFIG_MINIX_FS is not set
1020 # CONFIG_OMFS_FS is not set
1021 # CONFIG_HPFS_FS is not set
1022 # CONFIG_QNX4FS_FS is not set
1023 CONFIG_ROMFS_FS=y
1024 CONFIG_ROMFS_BACKED_BY_BLOCK=y
1025 # CONFIG_ROMFS_BACKED_BY_MTD is not set
1026 # CONFIG_ROMFS_BACKED_BY_BOTH is not set
1027 CONFIG_ROMFS_ON_BLOCK=y
1028 # CONFIG_SYSV_FS is not set
1029 # CONFIG_UFS_FS is not set
1030
1031 #
1032 # Partition Types
1033 #
1034 # CONFIG_PARTITION_ADVANCED is not set
1035 CONFIG_MSDOS_PARTITION=y
1036 # CONFIG_NLS is not set
1037
1038 #
1039 # Kernel hacking
1040 #
1041 # CONFIG_PRINTK_TIME is not set
1042 CONFIG_ENABLE_WARN_DEPRECATED=y
1043 CONFIG_ENABLE_MUST_CHECK=y
1044 CONFIG_FRAME_WARN=1024
1045 CONFIG_MAGIC_SYSRQ=y
1046 # CONFIG_STRIP_ASM_SYMS is not set
1047 # CONFIG_UNUSED_SYMBOLS is not set
1048 # CONFIG_DEBUG_FS is not set
1049 # CONFIG_HEADERS_CHECK is not set
1050 CONFIG_DEBUG_KERNEL=y
1051 # CONFIG_DEBUG_SHIRQ is not set
1052 CONFIG_DETECT_SOFTLOCKUP=y
1053 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
1054 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
1055 CONFIG_DETECT_HUNG_TASK=y
1056 # CONFIG_BOOTPARAM_HUNG_TASK_PANIC is not set
1057 CONFIG_BOOTPARAM_HUNG_TASK_PANIC_VALUE=0
1058 CONFIG_SCHED_DEBUG=y
1059 # CONFIG_SCHEDSTATS is not set
1060 # CONFIG_TIMER_STATS is not set
1061 # CONFIG_DEBUG_OBJECTS is not set
1062 # CONFIG_SLUB_DEBUG_ON is not set
1063 # CONFIG_SLUB_STATS is not set
1064 # CONFIG_DEBUG_KMEMLEAK is not set
1065 CONFIG_DEBUG_RT_MUTEXES=y
1066 CONFIG_DEBUG_PI_LIST=y
1067 # CONFIG_RT_MUTEX_TESTER is not set
1068 CONFIG_DEBUG_SPINLOCK=y
1069 CONFIG_DEBUG_MUTEXES=y
1070 # CONFIG_DEBUG_LOCK_ALLOC is not set
1071 # CONFIG_PROVE_LOCKING is not set
1072 # CONFIG_LOCK_STAT is not set
1073 CONFIG_DEBUG_SPINLOCK_SLEEP=y
1074 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
1075 # CONFIG_DEBUG_KOBJECT is not set
1076 CONFIG_DEBUG_BUGVERBOSE=y
1077 CONFIG_DEBUG_INFO=y
1078 # CONFIG_DEBUG_VM is not set
1079 # CONFIG_DEBUG_WRITECOUNT is not set
1080 CONFIG_DEBUG_MEMORY_INIT=y
1081 # CONFIG_DEBUG_LIST is not set
1082 # CONFIG_DEBUG_SG is not set
1083 # CONFIG_DEBUG_NOTIFIERS is not set
1084 # CONFIG_DEBUG_CREDENTIALS is not set
1085 # CONFIG_BOOT_PRINTK_DELAY is not set
1086 # CONFIG_RCU_TORTURE_TEST is not set
1087 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
1088 # CONFIG_BACKTRACE_SELF_TEST is not set
1089 # CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
1090 # CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
1091 # CONFIG_FAULT_INJECTION is not set
1092 # CONFIG_LATENCYTOP is not set
1093 CONFIG_SYSCTL_SYSCALL_CHECK=y
1094 # CONFIG_PAGE_POISONING is not set
1095 CONFIG_HAVE_FUNCTION_TRACER=y
1096 CONFIG_TRACING_SUPPORT=y
1097 CONFIG_FTRACE=y
1098 # CONFIG_FUNCTION_TRACER is not set
1099 # CONFIG_SCHED_TRACER is not set
1100 # CONFIG_ENABLE_DEFAULT_TRACERS is not set
1101 # CONFIG_BOOT_TRACER is not set
1102 CONFIG_BRANCH_PROFILE_NONE=y
1103 # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
1104 # CONFIG_PROFILE_ALL_BRANCHES is not set
1105 # CONFIG_STACK_TRACER is not set
1106 # CONFIG_KMEMTRACE is not set
1107 # CONFIG_WORKQUEUE_TRACER is not set
1108 # CONFIG_BLK_DEV_IO_TRACE is not set
1109 # CONFIG_SAMPLES is not set
1110 CONFIG_HAVE_ARCH_KGDB=y
1111 # CONFIG_KGDB is not set
1112 CONFIG_ARM_UNWIND=y
1113 CONFIG_DEBUG_USER=y
1114 CONFIG_DEBUG_ERRORS=y
1115 # CONFIG_DEBUG_STACK_USAGE is not set
1116 CONFIG_DEBUG_LL=y
1117 # CONFIG_EARLY_PRINTK is not set
1118 # CONFIG_DEBUG_ICEDCC is not set
1119 # CONFIG_OC_ETM is not set
1120 CONFIG_DEBUG_S3C_UART=0
1121
1122 #
1123 # Security options
1124 #
1125 # CONFIG_KEYS is not set
1126 # CONFIG_SECURITY is not set
1127 # CONFIG_SECURITYFS is not set
1128 # CONFIG_DEFAULT_SECURITY_SELINUX is not set
1129 # CONFIG_DEFAULT_SECURITY_SMACK is not set
1130 # CONFIG_DEFAULT_SECURITY_TOMOYO is not set
1131 CONFIG_DEFAULT_SECURITY_DAC=y
1132 CONFIG_DEFAULT_SECURITY=""
1133 # CONFIG_CRYPTO is not set
1134 # CONFIG_BINARY_PRINTF is not set
1135
1136 #
1137 # Library routines
1138 #
1139 CONFIG_BITREVERSE=y
1140 CONFIG_GENERIC_FIND_LAST_BIT=y
1141 # CONFIG_CRC_CCITT is not set
1142 # CONFIG_CRC16 is not set
1143 # CONFIG_CRC_T10DIF is not set
1144 # CONFIG_CRC_ITU_T is not set
1145 CONFIG_CRC32=y
1146 # CONFIG_CRC7 is not set
1147 # CONFIG_LIBCRC32C is not set
1148 CONFIG_ZLIB_INFLATE=y
1149 CONFIG_LZO_DECOMPRESS=y
1150 CONFIG_DECOMPRESS_GZIP=y
1151 CONFIG_DECOMPRESS_BZIP2=y
1152 CONFIG_DECOMPRESS_LZMA=y
1153 CONFIG_DECOMPRESS_LZO=y
1154 CONFIG_HAS_IOMEM=y
1155 CONFIG_HAS_DMA=y