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