2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.30
4 # Wed Jul 1 15:53:07 2009
7 CONFIG_SYS_SUPPORTS_APM_EMULATION=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_GENERIC_HWEIGHT=y
20 CONFIG_GENERIC_CALIBRATE_DELAY=y
21 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
22 CONFIG_VECTORS_BASE=0xffff0000
23 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
30 CONFIG_BROKEN_ON_SMP=y
31 CONFIG_INIT_ENV_ARG_LIMIT=32
32 CONFIG_LOCALVERSION=""
33 CONFIG_LOCALVERSION_AUTO=y
35 # CONFIG_SYSVIPC is not set
36 # CONFIG_BSD_PROCESS_ACCT is not set
42 # CONFIG_TREE_RCU is not set
43 # CONFIG_PREEMPT_RCU is not set
44 # CONFIG_TREE_RCU_TRACE is not set
45 # CONFIG_PREEMPT_RCU_TRACE is not set
46 # CONFIG_IKCONFIG is not set
47 CONFIG_LOG_BUF_SHIFT=17
48 # CONFIG_GROUP_SCHED is not set
49 # CONFIG_CGROUPS is not set
50 CONFIG_SYSFS_DEPRECATED=y
51 CONFIG_SYSFS_DEPRECATED_V2=y
52 # CONFIG_RELAY is not set
54 # CONFIG_UTS_NS is not set
55 # CONFIG_USER_NS is not set
56 # CONFIG_PID_NS is not set
57 CONFIG_BLK_DEV_INITRD=y
58 CONFIG_INITRAMFS_SOURCE=""
62 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
65 # CONFIG_EMBEDDED is not set
67 CONFIG_SYSCTL_SYSCALL=y
70 # CONFIG_KALLSYMS_EXTRA_PASS is not set
85 # Performance Counters
87 CONFIG_VM_EVENT_COUNTERS=y
89 # CONFIG_STRIP_ASM_SYMS is not set
91 # CONFIG_SLAB is not set
93 # CONFIG_SLOB is not set
94 # CONFIG_PROFILING is not set
95 # CONFIG_MARKERS is not set
96 CONFIG_HAVE_OPROFILE=y
97 # CONFIG_KPROBES is not set
99 CONFIG_HAVE_KRETPROBES=y
103 # GCOV-based kernel profiling
105 # CONFIG_SLOW_WORK is not set
106 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
111 # CONFIG_MODULE_FORCE_LOAD is not set
112 CONFIG_MODULE_UNLOAD=y
113 # CONFIG_MODULE_FORCE_UNLOAD is not set
114 # CONFIG_MODVERSIONS is not set
115 # CONFIG_MODULE_SRCVERSION_ALL is not set
118 # CONFIG_BLK_DEV_BSG is not set
119 # CONFIG_BLK_DEV_INTEGRITY is not set
124 CONFIG_IOSCHED_NOOP=y
126 CONFIG_IOSCHED_DEADLINE=y
128 # CONFIG_DEFAULT_AS is not set
129 # CONFIG_DEFAULT_DEADLINE is not set
131 # CONFIG_DEFAULT_NOOP is not set
132 CONFIG_DEFAULT_IOSCHED="cfq"
133 # CONFIG_FREEZER is not set
138 # CONFIG_ARCH_AAEC2000 is not set
139 # CONFIG_ARCH_INTEGRATOR is not set
140 # CONFIG_ARCH_REALVIEW is not set
141 # CONFIG_ARCH_VERSATILE is not set
142 # CONFIG_ARCH_AT91 is not set
143 # CONFIG_ARCH_CLPS711X is not set
144 # CONFIG_ARCH_GEMINI is not set
145 # CONFIG_ARCH_EBSA110 is not set
146 # CONFIG_ARCH_EP93XX is not set
147 # CONFIG_ARCH_FOOTBRIDGE is not set
148 # CONFIG_ARCH_MXC is not set
149 # CONFIG_ARCH_STMP3XXX is not set
150 # CONFIG_ARCH_NETX is not set
151 # CONFIG_ARCH_H720X is not set
152 # CONFIG_ARCH_IOP13XX is not set
153 # CONFIG_ARCH_IOP32X is not set
154 # CONFIG_ARCH_IOP33X is not set
155 # CONFIG_ARCH_IXP23XX is not set
156 # CONFIG_ARCH_IXP2000 is not set
157 # CONFIG_ARCH_IXP4XX is not set
158 # CONFIG_ARCH_L7200 is not set
159 # CONFIG_ARCH_KIRKWOOD is not set
160 # CONFIG_ARCH_LOKI is not set
161 # CONFIG_ARCH_MV78XX0 is not set
162 # CONFIG_ARCH_ORION5X is not set
163 # CONFIG_ARCH_MMP is not set
164 # CONFIG_ARCH_KS8695 is not set
165 # CONFIG_ARCH_NS9XXX is not set
166 # CONFIG_ARCH_W90X900 is not set
167 # CONFIG_ARCH_PNX4008 is not set
168 # CONFIG_ARCH_PXA is not set
169 # CONFIG_ARCH_MSM is not set
170 # CONFIG_ARCH_RPC is not set
171 # CONFIG_ARCH_SA1100 is not set
172 # CONFIG_ARCH_S3C2410 is not set
173 # CONFIG_ARCH_S3C64XX is not set
174 CONFIG_ARCH_S5PC1XX=y
175 # CONFIG_ARCH_SHARK is not set
176 # CONFIG_ARCH_LH7A40X is not set
177 # CONFIG_ARCH_U300 is not set
178 # CONFIG_ARCH_DAVINCI is not set
179 # CONFIG_ARCH_OMAP is not set
185 # CONFIG_S3C_BOOT_ERROR_RESET is not set
186 CONFIG_S3C_BOOT_UART_FORCE_FIFO=y
191 CONFIG_S3C_LOWLEVEL_UART_PORT=0
192 CONFIG_S3C_GPIO_SPACE=0
193 CONFIG_S3C_GPIO_TRACK=y
194 CONFIG_S3C_GPIO_PULL_UPDOWN=y
195 CONFIG_PLAT_S5PC1XX=y
196 CONFIG_CPU_S5PC100_INIT=y
197 CONFIG_CPU_S5PC100_CLOCK=y
198 CONFIG_S5PC100_SETUP_I2C0=y
200 CONFIG_MACH_SMDKC100=y
209 CONFIG_CPU_ABRT_EV7=y
210 CONFIG_CPU_PABRT_IFAR=y
211 CONFIG_CPU_CACHE_V7=y
212 CONFIG_CPU_CACHE_VIPT=y
215 CONFIG_CPU_HAS_ASID=y
217 CONFIG_CPU_CP15_MMU=y
223 # CONFIG_ARM_THUMBEE is not set
224 # CONFIG_CPU_ICACHE_DISABLE is not set
225 # CONFIG_CPU_DCACHE_DISABLE is not set
226 # CONFIG_CPU_BPREDICT_DISABLE is not set
228 # CONFIG_ARM_ERRATA_430973 is not set
229 # CONFIG_ARM_ERRATA_458693 is not set
230 # CONFIG_ARM_ERRATA_460075 is not set
237 # CONFIG_PCI_SYSCALL is not set
238 # CONFIG_ARCH_SUPPORTS_MSI is not set
239 # CONFIG_PCCARD is not set
245 # CONFIG_VMSPLIT_2G is not set
246 # CONFIG_VMSPLIT_1G is not set
247 CONFIG_PAGE_OFFSET=0xC0000000
248 # CONFIG_PREEMPT is not set
252 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
253 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
254 # CONFIG_HIGHMEM is not set
255 CONFIG_SELECT_MEMORY_MODEL=y
256 CONFIG_FLATMEM_MANUAL=y
257 # CONFIG_DISCONTIGMEM_MANUAL is not set
258 # CONFIG_SPARSEMEM_MANUAL is not set
260 CONFIG_FLAT_NODE_MEM_MAP=y
261 CONFIG_PAGEFLAGS_EXTENDED=y
262 CONFIG_SPLIT_PTLOCK_CPUS=4
263 # CONFIG_PHYS_ADDR_T_64BIT is not set
264 CONFIG_ZONE_DMA_FLAG=0
267 CONFIG_HAVE_MLOCKED_PAGE_BIT=y
268 CONFIG_DEFAULT_MMAP_MIN_ADDR=4096
269 CONFIG_ALIGNMENT_TRAP=y
270 # CONFIG_UACCESS_WITH_MEMCPY is not set
275 CONFIG_ZBOOT_ROM_TEXT=0
276 CONFIG_ZBOOT_ROM_BSS=0
277 CONFIG_CMDLINE="root=/dev/mtdblock2 rootfstype=cramfs init=/linuxrc console=ttySAC2,115200 mem=128M"
278 # CONFIG_XIP_KERNEL is not set
279 # CONFIG_KEXEC is not set
282 # CPU Power Management
284 # CONFIG_CPU_IDLE is not set
287 # Floating point emulation
291 # At least one emulation must be selected
293 # CONFIG_FPE_NWFPE is not set
294 # CONFIG_FPE_FASTFPE is not set
295 # CONFIG_VFP is not set
298 # Userspace binary formats
301 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
303 # CONFIG_BINFMT_AOUT is not set
304 # CONFIG_BINFMT_MISC is not set
307 # Power management options
309 # CONFIG_PM is not set
310 CONFIG_ARCH_SUSPEND_POSSIBLE=y
311 # CONFIG_NET is not set
318 # Generic Driver Options
320 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
322 CONFIG_PREVENT_FIRMWARE_BUILD=y
324 CONFIG_FIRMWARE_IN_KERNEL=y
325 CONFIG_EXTRA_FIRMWARE=""
326 # CONFIG_DEBUG_DRIVER is not set
327 # CONFIG_DEBUG_DEVRES is not set
328 # CONFIG_SYS_HYPERVISOR is not set
329 # CONFIG_MTD is not set
330 # CONFIG_PARPORT is not set
332 # CONFIG_BLK_DEV_COW_COMMON is not set
333 CONFIG_BLK_DEV_LOOP=y
334 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
336 CONFIG_BLK_DEV_RAM_COUNT=16
337 CONFIG_BLK_DEV_RAM_SIZE=8192
338 # CONFIG_BLK_DEV_XIP is not set
339 # CONFIG_CDROM_PKTCDVD is not set
340 # CONFIG_MG_DISK is not set
341 CONFIG_MISC_DEVICES=y
342 # CONFIG_ICS932S401 is not set
343 # CONFIG_ENCLOSURE_SERVICES is not set
344 # CONFIG_ISL29003 is not set
345 # CONFIG_C2PORT is not set
351 # CONFIG_EEPROM_LEGACY is not set
352 # CONFIG_EEPROM_MAX6875 is not set
353 # CONFIG_EEPROM_93CX6 is not set
355 # CONFIG_IDE is not set
358 # SCSI device support
360 # CONFIG_RAID_ATTRS is not set
361 # CONFIG_SCSI is not set
362 # CONFIG_SCSI_DMA is not set
363 # CONFIG_SCSI_NETLINK is not set
364 # CONFIG_ATA is not set
365 # CONFIG_MD is not set
368 # Input device support
371 # CONFIG_INPUT_FF_MEMLESS is not set
372 # CONFIG_INPUT_POLLDEV is not set
375 # Userland interfaces
377 CONFIG_INPUT_MOUSEDEV=y
378 CONFIG_INPUT_MOUSEDEV_PSAUX=y
379 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
380 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
381 # CONFIG_INPUT_JOYDEV is not set
382 # CONFIG_INPUT_EVDEV is not set
383 # CONFIG_INPUT_EVBUG is not set
386 # Input Device Drivers
388 CONFIG_INPUT_KEYBOARD=y
389 CONFIG_KEYBOARD_ATKBD=y
390 # CONFIG_KEYBOARD_SUNKBD is not set
391 # CONFIG_KEYBOARD_LKKBD is not set
392 # CONFIG_KEYBOARD_XTKBD is not set
393 # CONFIG_KEYBOARD_NEWTON is not set
394 # CONFIG_KEYBOARD_STOWAWAY is not set
395 # CONFIG_KEYBOARD_GPIO is not set
398 CONFIG_MOUSE_PS2_ALPS=y
399 CONFIG_MOUSE_PS2_LOGIPS2PP=y
400 CONFIG_MOUSE_PS2_SYNAPTICS=y
401 CONFIG_MOUSE_PS2_TRACKPOINT=y
402 # CONFIG_MOUSE_PS2_ELANTECH is not set
403 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
404 # CONFIG_MOUSE_SERIAL is not set
405 # CONFIG_MOUSE_APPLETOUCH is not set
406 # CONFIG_MOUSE_BCM5974 is not set
407 # CONFIG_MOUSE_VSXXXAA is not set
408 # CONFIG_MOUSE_GPIO is not set
409 # CONFIG_MOUSE_SYNAPTICS_I2C is not set
410 # CONFIG_INPUT_JOYSTICK is not set
411 # CONFIG_INPUT_TABLET is not set
412 # CONFIG_INPUT_TOUCHSCREEN is not set
413 # CONFIG_INPUT_MISC is not set
419 CONFIG_SERIO_SERPORT=y
420 CONFIG_SERIO_LIBPS2=y
421 # CONFIG_SERIO_RAW is not set
422 # CONFIG_GAMEPORT is not set
428 CONFIG_CONSOLE_TRANSLATIONS=y
431 # CONFIG_VT_HW_CONSOLE_BINDING is not set
433 # CONFIG_SERIAL_NONSTANDARD is not set
439 # CONFIG_SERIAL_8250_CONSOLE is not set
440 CONFIG_SERIAL_8250_NR_UARTS=4
441 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
442 # CONFIG_SERIAL_8250_EXTENDED is not set
445 # Non-8250 serial port support
447 CONFIG_SERIAL_SAMSUNG=y
448 CONFIG_SERIAL_SAMSUNG_UARTS=3
449 # CONFIG_SERIAL_SAMSUNG_DEBUG is not set
450 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
452 CONFIG_SERIAL_CORE_CONSOLE=y
454 # CONFIG_DEVPTS_MULTIPLE_INSTANCES is not set
456 CONFIG_LEGACY_PTY_COUNT=256
457 # CONFIG_IPMI_HANDLER is not set
459 # CONFIG_HW_RANDOM_TIMERIOMEM is not set
460 # CONFIG_R3964 is not set
461 # CONFIG_RAW_DRIVER is not set
462 # CONFIG_TCG_TPM is not set
464 CONFIG_I2C_BOARDINFO=y
466 CONFIG_I2C_HELPER_AUTO=y
469 # I2C Hardware Bus support
473 # I2C system bus drivers (mostly embedded / system-on-chip)
475 # CONFIG_I2C_GPIO is not set
476 # CONFIG_I2C_OCORES is not set
477 # CONFIG_I2C_SIMTEC is not set
480 # External I2C/SMBus adapter drivers
482 # CONFIG_I2C_PARPORT_LIGHT is not set
483 # CONFIG_I2C_TAOS_EVM is not set
486 # Other I2C/SMBus bus drivers
488 # CONFIG_I2C_PCA_PLATFORM is not set
489 # CONFIG_I2C_STUB is not set
492 # Miscellaneous I2C Chip support
494 # CONFIG_DS1682 is not set
495 # CONFIG_SENSORS_PCF8574 is not set
496 # CONFIG_PCF8575 is not set
497 # CONFIG_SENSORS_PCA9539 is not set
498 # CONFIG_SENSORS_TSL2550 is not set
499 # CONFIG_I2C_DEBUG_CORE is not set
500 # CONFIG_I2C_DEBUG_ALGO is not set
501 # CONFIG_I2C_DEBUG_BUS is not set
502 # CONFIG_I2C_DEBUG_CHIP is not set
503 # CONFIG_SPI is not set
504 CONFIG_ARCH_REQUIRE_GPIOLIB=y
506 # CONFIG_DEBUG_GPIO is not set
507 # CONFIG_GPIO_SYSFS is not set
510 # Memory mapped GPIO expanders:
514 # I2C GPIO expanders:
516 # CONFIG_GPIO_MAX732X is not set
517 # CONFIG_GPIO_PCA953X is not set
518 # CONFIG_GPIO_PCF857X is not set
521 # PCI GPIO expanders:
525 # SPI GPIO expanders:
527 # CONFIG_W1 is not set
528 # CONFIG_POWER_SUPPLY is not set
530 # CONFIG_HWMON_VID is not set
531 # CONFIG_SENSORS_AD7414 is not set
532 # CONFIG_SENSORS_AD7418 is not set
533 # CONFIG_SENSORS_ADM1021 is not set
534 # CONFIG_SENSORS_ADM1025 is not set
535 # CONFIG_SENSORS_ADM1026 is not set
536 # CONFIG_SENSORS_ADM1029 is not set
537 # CONFIG_SENSORS_ADM1031 is not set
538 # CONFIG_SENSORS_ADM9240 is not set
539 # CONFIG_SENSORS_ADT7462 is not set
540 # CONFIG_SENSORS_ADT7470 is not set
541 # CONFIG_SENSORS_ADT7473 is not set
542 # CONFIG_SENSORS_ADT7475 is not set
543 # CONFIG_SENSORS_ATXP1 is not set
544 # CONFIG_SENSORS_DS1621 is not set
545 # CONFIG_SENSORS_F71805F is not set
546 # CONFIG_SENSORS_F71882FG is not set
547 # CONFIG_SENSORS_F75375S is not set
548 # CONFIG_SENSORS_G760A is not set
549 # CONFIG_SENSORS_GL518SM is not set
550 # CONFIG_SENSORS_GL520SM is not set
551 # CONFIG_SENSORS_IT87 is not set
552 # CONFIG_SENSORS_LM63 is not set
553 # CONFIG_SENSORS_LM75 is not set
554 # CONFIG_SENSORS_LM77 is not set
555 # CONFIG_SENSORS_LM78 is not set
556 # CONFIG_SENSORS_LM80 is not set
557 # CONFIG_SENSORS_LM83 is not set
558 # CONFIG_SENSORS_LM85 is not set
559 # CONFIG_SENSORS_LM87 is not set
560 # CONFIG_SENSORS_LM90 is not set
561 # CONFIG_SENSORS_LM92 is not set
562 # CONFIG_SENSORS_LM93 is not set
563 # CONFIG_SENSORS_LTC4215 is not set
564 # CONFIG_SENSORS_LTC4245 is not set
565 # CONFIG_SENSORS_LM95241 is not set
566 # CONFIG_SENSORS_MAX1619 is not set
567 # CONFIG_SENSORS_MAX6650 is not set
568 # CONFIG_SENSORS_PC87360 is not set
569 # CONFIG_SENSORS_PC87427 is not set
570 # CONFIG_SENSORS_PCF8591 is not set
571 # CONFIG_SENSORS_SHT15 is not set
572 # CONFIG_SENSORS_DME1737 is not set
573 # CONFIG_SENSORS_SMSC47M1 is not set
574 # CONFIG_SENSORS_SMSC47M192 is not set
575 # CONFIG_SENSORS_SMSC47B397 is not set
576 # CONFIG_SENSORS_ADS7828 is not set
577 # CONFIG_SENSORS_THMC50 is not set
578 # CONFIG_SENSORS_TMP401 is not set
579 # CONFIG_SENSORS_VT1211 is not set
580 # CONFIG_SENSORS_W83781D is not set
581 # CONFIG_SENSORS_W83791D is not set
582 # CONFIG_SENSORS_W83792D is not set
583 # CONFIG_SENSORS_W83793 is not set
584 # CONFIG_SENSORS_W83L785TS is not set
585 # CONFIG_SENSORS_W83L786NG is not set
586 # CONFIG_SENSORS_W83627HF is not set
587 # CONFIG_SENSORS_W83627EHF is not set
588 # CONFIG_HWMON_DEBUG_CHIP is not set
589 # CONFIG_THERMAL is not set
590 # CONFIG_THERMAL_HWMON is not set
591 # CONFIG_WATCHDOG is not set
592 CONFIG_SSB_POSSIBLE=y
595 # Sonics Silicon Backplane
597 # CONFIG_SSB is not set
600 # Multifunction device drivers
602 # CONFIG_MFD_CORE is not set
603 # CONFIG_MFD_SM501 is not set
604 # CONFIG_MFD_ASIC3 is not set
605 # CONFIG_HTC_EGPIO is not set
606 # CONFIG_HTC_PASIC3 is not set
607 # CONFIG_TPS65010 is not set
608 # CONFIG_TWL4030_CORE is not set
609 # CONFIG_MFD_TMIO is not set
610 # CONFIG_MFD_T7L66XB is not set
611 # CONFIG_MFD_TC6387XB is not set
612 # CONFIG_MFD_TC6393XB is not set
613 # CONFIG_PMIC_DA903X is not set
614 # CONFIG_MFD_WM8400 is not set
615 # CONFIG_MFD_WM8350_I2C is not set
616 # CONFIG_MFD_PCF50633 is not set
617 # CONFIG_AB3100_CORE is not set
618 # CONFIG_MEDIA_SUPPORT is not set
623 # CONFIG_VGASTATE is not set
624 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
625 # CONFIG_FB is not set
626 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
629 # Display device support
631 # CONFIG_DISPLAY_SUPPORT is not set
634 # Console display driver support
636 # CONFIG_VGA_CONSOLE is not set
637 CONFIG_DUMMY_CONSOLE=y
638 # CONFIG_SOUND is not set
642 # CONFIG_HIDRAW is not set
643 # CONFIG_HID_PID is not set
646 # Special HID drivers
649 CONFIG_USB_ARCH_HAS_HCD=y
650 # CONFIG_USB_ARCH_HAS_OHCI is not set
651 # CONFIG_USB_ARCH_HAS_EHCI is not set
652 # CONFIG_USB is not set
655 # Enable Host or Gadget support to see Inventra options
659 # NOTE: USB_STORAGE depends on SCSI but BLK_DEV_SD may
661 # CONFIG_USB_GADGET is not set
664 # OTG and related infrastructure
668 CONFIG_MMC_UNSAFE_RESUME=y
671 # MMC/SD/SDIO Card Drivers
674 CONFIG_MMC_BLOCK_BOUNCE=y
676 # CONFIG_MMC_TEST is not set
679 # MMC/SD/SDIO Host Controller Drivers
682 # CONFIG_MMC_SDHCI_PLTFM is not set
683 # CONFIG_MEMSTICK is not set
684 # CONFIG_ACCESSIBILITY is not set
685 # CONFIG_NEW_LEDS is not set
687 # CONFIG_RTC_CLASS is not set
688 # CONFIG_DMADEVICES is not set
689 # CONFIG_AUXDISPLAY is not set
690 # CONFIG_REGULATOR is not set
691 # CONFIG_UIO is not set
692 # CONFIG_STAGING is not set
698 # CONFIG_EXT2_FS_XATTR is not set
699 # CONFIG_EXT2_FS_XIP is not set
701 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
702 CONFIG_EXT3_FS_XATTR=y
703 CONFIG_EXT3_FS_POSIX_ACL=y
704 CONFIG_EXT3_FS_SECURITY=y
705 # CONFIG_EXT4_FS is not set
708 # CONFIG_REISERFS_FS is not set
709 # CONFIG_JFS_FS is not set
710 CONFIG_FS_POSIX_ACL=y
711 # CONFIG_XFS_FS is not set
712 # CONFIG_GFS2_FS is not set
713 # CONFIG_BTRFS_FS is not set
714 CONFIG_FILE_LOCKING=y
718 CONFIG_INOTIFY_USER=y
719 # CONFIG_QUOTA is not set
720 # CONFIG_AUTOFS_FS is not set
721 # CONFIG_AUTOFS4_FS is not set
722 # CONFIG_FUSE_FS is not set
728 # CONFIG_FSCACHE is not set
731 # CD-ROM/DVD Filesystems
733 # CONFIG_ISO9660_FS is not set
734 # CONFIG_UDF_FS is not set
737 # DOS/FAT/NT Filesystems
739 # CONFIG_MSDOS_FS is not set
740 # CONFIG_VFAT_FS is not set
741 # CONFIG_NTFS_FS is not set
748 CONFIG_PROC_PAGE_MONITOR=y
751 CONFIG_TMPFS_POSIX_ACL=y
752 # CONFIG_HUGETLB_PAGE is not set
753 # CONFIG_CONFIGFS_FS is not set
754 CONFIG_MISC_FILESYSTEMS=y
755 # CONFIG_ADFS_FS is not set
756 # CONFIG_AFFS_FS is not set
757 # CONFIG_HFS_FS is not set
758 # CONFIG_HFSPLUS_FS is not set
759 # CONFIG_BEFS_FS is not set
760 # CONFIG_BFS_FS is not set
761 # CONFIG_EFS_FS is not set
763 # CONFIG_SQUASHFS is not set
764 # CONFIG_VXFS_FS is not set
765 # CONFIG_MINIX_FS is not set
766 # CONFIG_OMFS_FS is not set
767 # CONFIG_HPFS_FS is not set
768 # CONFIG_QNX4FS_FS is not set
770 CONFIG_ROMFS_BACKED_BY_BLOCK=y
771 # CONFIG_ROMFS_BACKED_BY_MTD is not set
772 # CONFIG_ROMFS_BACKED_BY_BOTH is not set
773 CONFIG_ROMFS_ON_BLOCK=y
774 # CONFIG_SYSV_FS is not set
775 # CONFIG_UFS_FS is not set
776 # CONFIG_NILFS2_FS is not set
781 # CONFIG_PARTITION_ADVANCED is not set
782 CONFIG_MSDOS_PARTITION=y
783 # CONFIG_NLS is not set
788 # CONFIG_PRINTK_TIME is not set
789 CONFIG_ENABLE_WARN_DEPRECATED=y
790 CONFIG_ENABLE_MUST_CHECK=y
791 CONFIG_FRAME_WARN=1024
793 # CONFIG_UNUSED_SYMBOLS is not set
794 # CONFIG_DEBUG_FS is not set
795 # CONFIG_HEADERS_CHECK is not set
796 CONFIG_DEBUG_KERNEL=y
797 # CONFIG_DEBUG_SHIRQ is not set
798 CONFIG_DETECT_SOFTLOCKUP=y
799 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
800 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
801 CONFIG_DETECT_HUNG_TASK=y
802 # CONFIG_BOOTPARAM_HUNG_TASK_PANIC is not set
803 CONFIG_BOOTPARAM_HUNG_TASK_PANIC_VALUE=0
805 # CONFIG_SCHEDSTATS is not set
806 # CONFIG_TIMER_STATS is not set
807 # CONFIG_DEBUG_OBJECTS is not set
808 # CONFIG_SLUB_DEBUG_ON is not set
809 # CONFIG_SLUB_STATS is not set
810 # CONFIG_DEBUG_KMEMLEAK is not set
811 CONFIG_DEBUG_RT_MUTEXES=y
812 CONFIG_DEBUG_PI_LIST=y
813 # CONFIG_RT_MUTEX_TESTER is not set
814 CONFIG_DEBUG_SPINLOCK=y
815 CONFIG_DEBUG_MUTEXES=y
816 # CONFIG_DEBUG_LOCK_ALLOC is not set
817 # CONFIG_PROVE_LOCKING is not set
818 # CONFIG_LOCK_STAT is not set
819 CONFIG_DEBUG_SPINLOCK_SLEEP=y
820 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
821 # CONFIG_DEBUG_KOBJECT is not set
822 CONFIG_DEBUG_BUGVERBOSE=y
824 # CONFIG_DEBUG_VM is not set
825 # CONFIG_DEBUG_WRITECOUNT is not set
826 CONFIG_DEBUG_MEMORY_INIT=y
827 # CONFIG_DEBUG_LIST is not set
828 # CONFIG_DEBUG_SG is not set
829 # CONFIG_DEBUG_NOTIFIERS is not set
830 # CONFIG_BOOT_PRINTK_DELAY is not set
831 # CONFIG_RCU_TORTURE_TEST is not set
832 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
833 # CONFIG_BACKTRACE_SELF_TEST is not set
834 # CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
835 # CONFIG_FAULT_INJECTION is not set
836 # CONFIG_LATENCYTOP is not set
837 CONFIG_SYSCTL_SYSCALL_CHECK=y
838 # CONFIG_PAGE_POISONING is not set
839 CONFIG_HAVE_FUNCTION_TRACER=y
840 CONFIG_TRACING_SUPPORT=y
842 # CONFIG_FUNCTION_TRACER is not set
843 # CONFIG_SCHED_TRACER is not set
844 # CONFIG_ENABLE_DEFAULT_TRACERS is not set
845 # CONFIG_BOOT_TRACER is not set
846 CONFIG_BRANCH_PROFILE_NONE=y
847 # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
848 # CONFIG_PROFILE_ALL_BRANCHES is not set
849 # CONFIG_STACK_TRACER is not set
850 # CONFIG_KMEMTRACE is not set
851 # CONFIG_WORKQUEUE_TRACER is not set
852 # CONFIG_BLK_DEV_IO_TRACE is not set
853 # CONFIG_SAMPLES is not set
854 CONFIG_HAVE_ARCH_KGDB=y
855 # CONFIG_KGDB is not set
858 CONFIG_DEBUG_ERRORS=y
859 # CONFIG_DEBUG_STACK_USAGE is not set
861 # CONFIG_DEBUG_ICEDCC is not set
862 CONFIG_DEBUG_S3C_PORT=y
863 CONFIG_DEBUG_S3C_UART=0
868 # CONFIG_KEYS is not set
869 # CONFIG_SECURITY is not set
870 # CONFIG_SECURITYFS is not set
871 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
872 # CONFIG_CRYPTO is not set
873 # CONFIG_BINARY_PRINTF is not set
879 CONFIG_GENERIC_FIND_LAST_BIT=y
880 # CONFIG_CRC_CCITT is not set
881 # CONFIG_CRC16 is not set
882 # CONFIG_CRC_T10DIF is not set
883 # CONFIG_CRC_ITU_T is not set
885 # CONFIG_CRC7 is not set
886 # CONFIG_LIBCRC32C is not set
887 CONFIG_ZLIB_INFLATE=y
888 CONFIG_DECOMPRESS_GZIP=y
889 CONFIG_DECOMPRESS_BZIP2=y
890 CONFIG_DECOMPRESS_LZMA=y