2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.28-rc3
4 # Mon Nov 3 10:10:30 2008
7 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
9 # CONFIG_GENERIC_TIME is not set
10 # CONFIG_GENERIC_CLOCKEVENTS is not set
13 CONFIG_GENERIC_HARDIRQS=y
14 CONFIG_STACKTRACE_SUPPORT=y
15 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
16 CONFIG_LOCKDEP_SUPPORT=y
17 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
18 CONFIG_HARDIRQS_SW_RESEND=y
19 CONFIG_GENERIC_IRQ_PROBE=y
20 CONFIG_RWSEM_GENERIC_SPINLOCK=y
21 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
22 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
23 CONFIG_GENERIC_HWEIGHT=y
24 CONFIG_GENERIC_CALIBRATE_DELAY=y
25 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
26 CONFIG_VECTORS_BASE=0xffff0000
27 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
33 CONFIG_BROKEN_ON_SMP=y
34 CONFIG_INIT_ENV_ARG_LIMIT=32
35 CONFIG_LOCALVERSION=""
36 CONFIG_LOCALVERSION_AUTO=y
38 # CONFIG_SYSVIPC is not set
39 # CONFIG_BSD_PROCESS_ACCT is not set
40 # CONFIG_IKCONFIG is not set
41 CONFIG_LOG_BUF_SHIFT=17
42 # CONFIG_CGROUPS is not set
43 # CONFIG_GROUP_SCHED is not set
44 CONFIG_SYSFS_DEPRECATED=y
45 CONFIG_SYSFS_DEPRECATED_V2=y
46 # CONFIG_RELAY is not set
48 # CONFIG_UTS_NS is not set
49 # CONFIG_USER_NS is not set
50 # CONFIG_PID_NS is not set
51 CONFIG_BLK_DEV_INITRD=y
52 CONFIG_INITRAMFS_SOURCE=""
53 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
55 # CONFIG_EMBEDDED is not set
57 CONFIG_SYSCTL_SYSCALL=y
60 # CONFIG_KALLSYMS_EXTRA_PASS is not set
75 CONFIG_VM_EVENT_COUNTERS=y
77 # CONFIG_SLAB is not set
79 # CONFIG_SLOB is not set
80 # CONFIG_PROFILING is not set
81 # CONFIG_MARKERS is not set
82 CONFIG_HAVE_OPROFILE=y
83 # CONFIG_KPROBES is not set
85 CONFIG_HAVE_KRETPROBES=y
87 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
90 # CONFIG_TINY_SHMEM is not set
93 # CONFIG_MODULE_FORCE_LOAD is not set
94 CONFIG_MODULE_UNLOAD=y
95 # CONFIG_MODULE_FORCE_UNLOAD is not set
96 # CONFIG_MODVERSIONS is not set
97 # CONFIG_MODULE_SRCVERSION_ALL is not set
101 # CONFIG_BLK_DEV_IO_TRACE is not set
103 # CONFIG_BLK_DEV_BSG is not set
104 # CONFIG_BLK_DEV_INTEGRITY is not set
109 CONFIG_IOSCHED_NOOP=y
111 CONFIG_IOSCHED_DEADLINE=y
113 # CONFIG_DEFAULT_AS is not set
114 # CONFIG_DEFAULT_DEADLINE is not set
116 # CONFIG_DEFAULT_NOOP is not set
117 CONFIG_DEFAULT_IOSCHED="cfq"
119 # CONFIG_FREEZER is not set
124 # CONFIG_ARCH_AAEC2000 is not set
125 # CONFIG_ARCH_INTEGRATOR is not set
126 # CONFIG_ARCH_REALVIEW is not set
127 # CONFIG_ARCH_VERSATILE is not set
128 # CONFIG_ARCH_AT91 is not set
129 # CONFIG_ARCH_CLPS7500 is not set
130 # CONFIG_ARCH_CLPS711X is not set
131 # CONFIG_ARCH_EBSA110 is not set
132 # CONFIG_ARCH_EP93XX is not set
133 # CONFIG_ARCH_FOOTBRIDGE is not set
134 # CONFIG_ARCH_NETX is not set
135 # CONFIG_ARCH_H720X is not set
136 # CONFIG_ARCH_IMX is not set
137 # CONFIG_ARCH_IOP13XX is not set
138 # CONFIG_ARCH_IOP32X is not set
139 # CONFIG_ARCH_IOP33X is not set
140 # CONFIG_ARCH_IXP23XX is not set
141 # CONFIG_ARCH_IXP2000 is not set
142 # CONFIG_ARCH_IXP4XX is not set
143 # CONFIG_ARCH_L7200 is not set
144 # CONFIG_ARCH_KIRKWOOD is not set
145 # CONFIG_ARCH_KS8695 is not set
146 # CONFIG_ARCH_NS9XXX is not set
147 # CONFIG_ARCH_LOKI is not set
148 # CONFIG_ARCH_MV78XX0 is not set
149 # CONFIG_ARCH_MXC is not set
150 # CONFIG_ARCH_ORION5X is not set
151 # CONFIG_ARCH_PNX4008 is not set
152 # CONFIG_ARCH_PXA is not set
153 # CONFIG_ARCH_RPC is not set
154 # CONFIG_ARCH_SA1100 is not set
155 # CONFIG_ARCH_S3C2410 is not set
156 CONFIG_ARCH_S3C64XX=y
157 # CONFIG_ARCH_SHARK is not set
158 # CONFIG_ARCH_LH7A40X is not set
159 # CONFIG_ARCH_DAVINCI is not set
160 # CONFIG_ARCH_OMAP is not set
161 # CONFIG_ARCH_MSM is not set
162 CONFIG_PLAT_S3C64XX=y
163 CONFIG_CPU_S3C6400_INIT=y
164 CONFIG_CPU_S3C6400_CLOCK=y
165 CONFIG_S3C64XX_SETUP_I2C0=y
166 CONFIG_S3C64XX_SETUP_I2C1=y
172 CONFIG_S3C_BOOT_ERROR_RESET=y
177 CONFIG_S3C_LOWLEVEL_UART_PORT=0
178 CONFIG_S3C_GPIO_SPACE=0
179 CONFIG_S3C_GPIO_TRACK=y
180 CONFIG_S3C_GPIO_PULL_UPDOWN=y
181 CONFIG_S3C_GPIO_CFG_S3C24XX=y
182 CONFIG_S3C_GPIO_CFG_S3C64XX=y
183 CONFIG_S3C_DEV_HSMMC=y
184 CONFIG_S3C_DEV_HSMMC1=y
185 CONFIG_S3C_DEV_I2C1=y
187 CONFIG_S3C6410_SETUP_SDHCI=y
188 CONFIG_MACH_SMDK6410=y
189 CONFIG_SMDK6410_SD_CH0=y
190 # CONFIG_SMDK6410_SD_CH1 is not set
198 CONFIG_CPU_ABRT_EV6=y
199 CONFIG_CPU_PABRT_NOIFAR=y
200 CONFIG_CPU_CACHE_V6=y
201 CONFIG_CPU_CACHE_VIPT=y
204 CONFIG_CPU_HAS_ASID=y
206 CONFIG_CPU_CP15_MMU=y
212 # CONFIG_CPU_ICACHE_DISABLE is not set
213 # CONFIG_CPU_DCACHE_DISABLE is not set
214 # CONFIG_CPU_BPREDICT_DISABLE is not set
215 # CONFIG_OUTER_CACHE is not set
221 # CONFIG_PCI_SYSCALL is not set
222 # CONFIG_ARCH_SUPPORTS_MSI is not set
223 # CONFIG_PCCARD is not set
229 # CONFIG_VMSPLIT_2G is not set
230 # CONFIG_VMSPLIT_1G is not set
231 CONFIG_PAGE_OFFSET=0xC0000000
232 # CONFIG_PREEMPT is not set
236 CONFIG_ARCH_FLATMEM_HAS_HOLES=y
237 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
238 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
239 CONFIG_SELECT_MEMORY_MODEL=y
240 CONFIG_FLATMEM_MANUAL=y
241 # CONFIG_DISCONTIGMEM_MANUAL is not set
242 # CONFIG_SPARSEMEM_MANUAL is not set
244 CONFIG_FLAT_NODE_MEM_MAP=y
245 CONFIG_PAGEFLAGS_EXTENDED=y
246 CONFIG_SPLIT_PTLOCK_CPUS=4
247 # CONFIG_RESOURCES_64BIT is not set
248 # CONFIG_PHYS_ADDR_T_64BIT is not set
249 CONFIG_ZONE_DMA_FLAG=0
251 CONFIG_UNEVICTABLE_LRU=y
252 CONFIG_ALIGNMENT_TRAP=y
257 CONFIG_ZBOOT_ROM_TEXT=0
258 CONFIG_ZBOOT_ROM_BSS=0
259 CONFIG_CMDLINE="console=ttySAC0,115200 root=/dev/ram init=/bin/bash initrd=0x51000000,4M"
260 # CONFIG_XIP_KERNEL is not set
261 # CONFIG_KEXEC is not set
264 # CPU Power Management
266 # CONFIG_CPU_IDLE is not set
269 # Floating point emulation
273 # At least one emulation must be selected
275 # CONFIG_FPE_NWFPE is not set
276 # CONFIG_FPE_FASTFPE is not set
280 # Userspace binary formats
283 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
285 # CONFIG_BINFMT_AOUT is not set
286 # CONFIG_BINFMT_MISC is not set
289 # Power management options
291 # CONFIG_PM is not set
292 CONFIG_ARCH_SUSPEND_POSSIBLE=y
293 # CONFIG_NET is not set
300 # Generic Driver Options
302 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
304 CONFIG_PREVENT_FIRMWARE_BUILD=y
306 CONFIG_FIRMWARE_IN_KERNEL=y
307 CONFIG_EXTRA_FIRMWARE=""
308 # CONFIG_DEBUG_DRIVER is not set
309 # CONFIG_DEBUG_DEVRES is not set
310 # CONFIG_SYS_HYPERVISOR is not set
311 # CONFIG_MTD is not set
312 # CONFIG_PARPORT is not set
314 # CONFIG_BLK_DEV_COW_COMMON is not set
315 CONFIG_BLK_DEV_LOOP=y
316 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
318 CONFIG_BLK_DEV_RAM_COUNT=16
319 CONFIG_BLK_DEV_RAM_SIZE=4096
320 # CONFIG_BLK_DEV_XIP is not set
321 # CONFIG_CDROM_PKTCDVD is not set
322 CONFIG_MISC_DEVICES=y
323 # CONFIG_EEPROM_93CX6 is not set
324 # CONFIG_ENCLOSURE_SERVICES is not set
326 # CONFIG_IDE is not set
329 # SCSI device support
331 # CONFIG_RAID_ATTRS is not set
332 # CONFIG_SCSI is not set
333 # CONFIG_SCSI_DMA is not set
334 # CONFIG_SCSI_NETLINK is not set
335 # CONFIG_ATA is not set
336 # CONFIG_MD is not set
339 # Input device support
342 # CONFIG_INPUT_FF_MEMLESS is not set
343 # CONFIG_INPUT_POLLDEV is not set
346 # Userland interfaces
348 CONFIG_INPUT_MOUSEDEV=y
349 CONFIG_INPUT_MOUSEDEV_PSAUX=y
350 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
351 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
352 # CONFIG_INPUT_JOYDEV is not set
353 # CONFIG_INPUT_EVDEV is not set
354 # CONFIG_INPUT_EVBUG is not set
357 # Input Device Drivers
359 CONFIG_INPUT_KEYBOARD=y
360 CONFIG_KEYBOARD_ATKBD=y
361 # CONFIG_KEYBOARD_SUNKBD is not set
362 # CONFIG_KEYBOARD_LKKBD is not set
363 # CONFIG_KEYBOARD_XTKBD is not set
364 # CONFIG_KEYBOARD_NEWTON is not set
365 # CONFIG_KEYBOARD_STOWAWAY is not set
366 # CONFIG_KEYBOARD_GPIO is not set
369 CONFIG_MOUSE_PS2_ALPS=y
370 CONFIG_MOUSE_PS2_LOGIPS2PP=y
371 CONFIG_MOUSE_PS2_SYNAPTICS=y
372 CONFIG_MOUSE_PS2_LIFEBOOK=y
373 CONFIG_MOUSE_PS2_TRACKPOINT=y
374 # CONFIG_MOUSE_PS2_ELANTECH is not set
375 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
376 # CONFIG_MOUSE_SERIAL is not set
377 # CONFIG_MOUSE_APPLETOUCH is not set
378 # CONFIG_MOUSE_BCM5974 is not set
379 # CONFIG_MOUSE_VSXXXAA is not set
380 # CONFIG_MOUSE_GPIO is not set
381 # CONFIG_INPUT_JOYSTICK is not set
382 # CONFIG_INPUT_TABLET is not set
383 # CONFIG_INPUT_TOUCHSCREEN is not set
384 # CONFIG_INPUT_MISC is not set
390 CONFIG_SERIO_SERPORT=y
391 CONFIG_SERIO_LIBPS2=y
392 # CONFIG_SERIO_RAW is not set
393 # CONFIG_GAMEPORT is not set
399 CONFIG_CONSOLE_TRANSLATIONS=y
402 # CONFIG_VT_HW_CONSOLE_BINDING is not set
404 # CONFIG_SERIAL_NONSTANDARD is not set
410 # CONFIG_SERIAL_8250_CONSOLE is not set
411 CONFIG_SERIAL_8250_NR_UARTS=4
412 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
413 # CONFIG_SERIAL_8250_EXTENDED is not set
416 # Non-8250 serial port support
418 CONFIG_SERIAL_SAMSUNG=y
419 CONFIG_SERIAL_SAMSUNG_UARTS=4
420 # CONFIG_SERIAL_SAMSUNG_DEBUG is not set
421 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
422 CONFIG_SERIAL_S3C6400=y
424 CONFIG_SERIAL_CORE_CONSOLE=y
427 CONFIG_LEGACY_PTY_COUNT=256
428 # CONFIG_IPMI_HANDLER is not set
430 # CONFIG_NVRAM is not set
431 # CONFIG_R3964 is not set
432 # CONFIG_RAW_DRIVER is not set
433 # CONFIG_TCG_TPM is not set
435 CONFIG_I2C_BOARDINFO=y
437 CONFIG_I2C_HELPER_AUTO=y
440 # I2C Hardware Bus support
444 # I2C system bus drivers (mostly embedded / system-on-chip)
446 # CONFIG_I2C_GPIO is not set
447 # CONFIG_I2C_OCORES is not set
449 # CONFIG_I2C_SIMTEC is not set
452 # External I2C/SMBus adapter drivers
454 # CONFIG_I2C_PARPORT_LIGHT is not set
455 # CONFIG_I2C_TAOS_EVM is not set
458 # Other I2C/SMBus bus drivers
460 # CONFIG_I2C_PCA_PLATFORM is not set
461 # CONFIG_I2C_STUB is not set
464 # Miscellaneous I2C Chip support
466 # CONFIG_DS1682 is not set
468 # CONFIG_EEPROM_LEGACY is not set
469 # CONFIG_SENSORS_PCF8574 is not set
470 # CONFIG_PCF8575 is not set
471 # CONFIG_SENSORS_PCA9539 is not set
472 # CONFIG_SENSORS_PCF8591 is not set
473 # CONFIG_TPS65010 is not set
474 # CONFIG_SENSORS_MAX6875 is not set
475 # CONFIG_SENSORS_TSL2550 is not set
476 # CONFIG_I2C_DEBUG_CORE is not set
477 # CONFIG_I2C_DEBUG_ALGO is not set
478 # CONFIG_I2C_DEBUG_BUS is not set
479 # CONFIG_I2C_DEBUG_CHIP is not set
480 # CONFIG_SPI is not set
481 CONFIG_ARCH_REQUIRE_GPIOLIB=y
483 # CONFIG_DEBUG_GPIO is not set
484 # CONFIG_GPIO_SYSFS is not set
487 # I2C GPIO expanders:
489 # CONFIG_GPIO_MAX732X is not set
490 # CONFIG_GPIO_PCA953X is not set
491 # CONFIG_GPIO_PCF857X is not set
494 # PCI GPIO expanders:
498 # SPI GPIO expanders:
500 # CONFIG_W1 is not set
501 # CONFIG_POWER_SUPPLY is not set
503 # CONFIG_HWMON_VID is not set
504 # CONFIG_SENSORS_AD7414 is not set
505 # CONFIG_SENSORS_AD7418 is not set
506 # CONFIG_SENSORS_ADM1021 is not set
507 # CONFIG_SENSORS_ADM1025 is not set
508 # CONFIG_SENSORS_ADM1026 is not set
509 # CONFIG_SENSORS_ADM1029 is not set
510 # CONFIG_SENSORS_ADM1031 is not set
511 # CONFIG_SENSORS_ADM9240 is not set
512 # CONFIG_SENSORS_ADT7470 is not set
513 # CONFIG_SENSORS_ADT7473 is not set
514 # CONFIG_SENSORS_ATXP1 is not set
515 # CONFIG_SENSORS_DS1621 is not set
516 # CONFIG_SENSORS_F71805F is not set
517 # CONFIG_SENSORS_F71882FG is not set
518 # CONFIG_SENSORS_F75375S is not set
519 # CONFIG_SENSORS_GL518SM is not set
520 # CONFIG_SENSORS_GL520SM is not set
521 # CONFIG_SENSORS_IT87 is not set
522 # CONFIG_SENSORS_LM63 is not set
523 # CONFIG_SENSORS_LM75 is not set
524 # CONFIG_SENSORS_LM77 is not set
525 # CONFIG_SENSORS_LM78 is not set
526 # CONFIG_SENSORS_LM80 is not set
527 # CONFIG_SENSORS_LM83 is not set
528 # CONFIG_SENSORS_LM85 is not set
529 # CONFIG_SENSORS_LM87 is not set
530 # CONFIG_SENSORS_LM90 is not set
531 # CONFIG_SENSORS_LM92 is not set
532 # CONFIG_SENSORS_LM93 is not set
533 # CONFIG_SENSORS_MAX1619 is not set
534 # CONFIG_SENSORS_MAX6650 is not set
535 # CONFIG_SENSORS_PC87360 is not set
536 # CONFIG_SENSORS_PC87427 is not set
537 # CONFIG_SENSORS_DME1737 is not set
538 # CONFIG_SENSORS_SMSC47M1 is not set
539 # CONFIG_SENSORS_SMSC47M192 is not set
540 # CONFIG_SENSORS_SMSC47B397 is not set
541 # CONFIG_SENSORS_ADS7828 is not set
542 # CONFIG_SENSORS_THMC50 is not set
543 # CONFIG_SENSORS_VT1211 is not set
544 # CONFIG_SENSORS_W83781D is not set
545 # CONFIG_SENSORS_W83791D is not set
546 # CONFIG_SENSORS_W83792D is not set
547 # CONFIG_SENSORS_W83793 is not set
548 # CONFIG_SENSORS_W83L785TS is not set
549 # CONFIG_SENSORS_W83L786NG is not set
550 # CONFIG_SENSORS_W83627HF is not set
551 # CONFIG_SENSORS_W83627EHF is not set
552 # CONFIG_HWMON_DEBUG_CHIP is not set
553 # CONFIG_THERMAL is not set
554 # CONFIG_THERMAL_HWMON is not set
555 # CONFIG_WATCHDOG is not set
558 # Sonics Silicon Backplane
560 CONFIG_SSB_POSSIBLE=y
561 # CONFIG_SSB is not set
564 # Multifunction device drivers
566 # CONFIG_MFD_CORE is not set
567 # CONFIG_MFD_SM501 is not set
568 # CONFIG_MFD_ASIC3 is not set
569 # CONFIG_HTC_EGPIO is not set
570 # CONFIG_HTC_PASIC3 is not set
571 # CONFIG_MFD_TMIO is not set
572 # CONFIG_MFD_T7L66XB is not set
573 # CONFIG_MFD_TC6387XB is not set
574 # CONFIG_MFD_TC6393XB is not set
575 # CONFIG_PMIC_DA903X is not set
576 # CONFIG_MFD_WM8400 is not set
577 # CONFIG_MFD_WM8350_I2C is not set
584 # Multimedia core support
586 # CONFIG_VIDEO_DEV is not set
587 # CONFIG_VIDEO_MEDIA is not set
592 # CONFIG_DAB is not set
597 # CONFIG_VGASTATE is not set
598 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
599 # CONFIG_FB is not set
600 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
603 # Display device support
605 # CONFIG_DISPLAY_SUPPORT is not set
608 # Console display driver support
610 # CONFIG_VGA_CONSOLE is not set
611 CONFIG_DUMMY_CONSOLE=y
612 # CONFIG_SOUND is not set
616 # CONFIG_HIDRAW is not set
617 # CONFIG_HID_PID is not set
620 # Special HID drivers
622 # CONFIG_HID_COMPAT is not set
624 CONFIG_USB_ARCH_HAS_HCD=y
625 # CONFIG_USB_ARCH_HAS_OHCI is not set
626 # CONFIG_USB_ARCH_HAS_EHCI is not set
627 # CONFIG_USB is not set
630 # Enable Host or Gadget support to see Inventra options
634 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
636 # CONFIG_USB_GADGET is not set
639 CONFIG_MMC_UNSAFE_RESUME=y
642 # MMC/SD/SDIO Card Drivers
645 CONFIG_MMC_BLOCK_BOUNCE=y
647 # CONFIG_MMC_TEST is not set
650 # MMC/SD/SDIO Host Controller Drivers
653 CONFIG_MMC_SDHCI_S3C=y
654 # CONFIG_MEMSTICK is not set
655 # CONFIG_ACCESSIBILITY is not set
656 # CONFIG_NEW_LEDS is not set
658 # CONFIG_RTC_CLASS is not set
659 # CONFIG_DMADEVICES is not set
662 # Voltage and Current regulators
664 # CONFIG_REGULATOR is not set
665 # CONFIG_REGULATOR_FIXED_VOLTAGE is not set
666 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
667 # CONFIG_REGULATOR_BQ24022 is not set
668 # CONFIG_UIO is not set
674 # CONFIG_EXT2_FS_XATTR is not set
675 # CONFIG_EXT2_FS_XIP is not set
677 CONFIG_EXT3_FS_XATTR=y
678 CONFIG_EXT3_FS_POSIX_ACL=y
679 CONFIG_EXT3_FS_SECURITY=y
680 # CONFIG_EXT4_FS is not set
683 # CONFIG_REISERFS_FS is not set
684 # CONFIG_JFS_FS is not set
685 CONFIG_FS_POSIX_ACL=y
686 CONFIG_FILE_LOCKING=y
687 # CONFIG_XFS_FS is not set
688 # CONFIG_GFS2_FS is not set
691 CONFIG_INOTIFY_USER=y
692 # CONFIG_QUOTA is not set
693 # CONFIG_AUTOFS_FS is not set
694 # CONFIG_AUTOFS4_FS is not set
695 # CONFIG_FUSE_FS is not set
699 # CD-ROM/DVD Filesystems
701 # CONFIG_ISO9660_FS is not set
702 # CONFIG_UDF_FS is not set
705 # DOS/FAT/NT Filesystems
707 # CONFIG_MSDOS_FS is not set
708 # CONFIG_VFAT_FS is not set
709 # CONFIG_NTFS_FS is not set
716 CONFIG_PROC_PAGE_MONITOR=y
719 CONFIG_TMPFS_POSIX_ACL=y
720 # CONFIG_HUGETLB_PAGE is not set
721 # CONFIG_CONFIGFS_FS is not set
724 # Miscellaneous filesystems
726 # CONFIG_ADFS_FS is not set
727 # CONFIG_AFFS_FS is not set
728 # CONFIG_HFS_FS is not set
729 # CONFIG_HFSPLUS_FS is not set
730 # CONFIG_BEFS_FS is not set
731 # CONFIG_BFS_FS is not set
732 # CONFIG_EFS_FS is not set
734 # CONFIG_VXFS_FS is not set
735 # CONFIG_MINIX_FS is not set
736 # CONFIG_OMFS_FS is not set
737 # CONFIG_HPFS_FS is not set
738 # CONFIG_QNX4FS_FS is not set
740 # CONFIG_SYSV_FS is not set
741 # CONFIG_UFS_FS is not set
746 # CONFIG_PARTITION_ADVANCED is not set
747 CONFIG_MSDOS_PARTITION=y
748 # CONFIG_NLS is not set
753 # CONFIG_PRINTK_TIME is not set
754 CONFIG_ENABLE_WARN_DEPRECATED=y
755 CONFIG_ENABLE_MUST_CHECK=y
756 CONFIG_FRAME_WARN=1024
758 # CONFIG_UNUSED_SYMBOLS is not set
759 # CONFIG_DEBUG_FS is not set
760 # CONFIG_HEADERS_CHECK is not set
761 CONFIG_DEBUG_KERNEL=y
762 # CONFIG_DEBUG_SHIRQ is not set
763 CONFIG_DETECT_SOFTLOCKUP=y
764 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
765 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
767 # CONFIG_SCHEDSTATS is not set
768 # CONFIG_TIMER_STATS is not set
769 # CONFIG_DEBUG_OBJECTS is not set
770 # CONFIG_SLUB_DEBUG_ON is not set
771 # CONFIG_SLUB_STATS is not set
772 CONFIG_DEBUG_RT_MUTEXES=y
773 CONFIG_DEBUG_PI_LIST=y
774 # CONFIG_RT_MUTEX_TESTER is not set
775 CONFIG_DEBUG_SPINLOCK=y
776 CONFIG_DEBUG_MUTEXES=y
777 # CONFIG_DEBUG_LOCK_ALLOC is not set
778 # CONFIG_PROVE_LOCKING is not set
779 # CONFIG_LOCK_STAT is not set
780 CONFIG_DEBUG_SPINLOCK_SLEEP=y
781 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
782 # CONFIG_DEBUG_KOBJECT is not set
783 CONFIG_DEBUG_BUGVERBOSE=y
785 # CONFIG_DEBUG_VM is not set
786 # CONFIG_DEBUG_WRITECOUNT is not set
787 CONFIG_DEBUG_MEMORY_INIT=y
788 # CONFIG_DEBUG_LIST is not set
789 # CONFIG_DEBUG_SG is not set
790 CONFIG_FRAME_POINTER=y
791 # CONFIG_BOOT_PRINTK_DELAY is not set
792 # CONFIG_RCU_TORTURE_TEST is not set
793 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
794 # CONFIG_BACKTRACE_SELF_TEST is not set
795 # CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
796 # CONFIG_FAULT_INJECTION is not set
797 # CONFIG_LATENCYTOP is not set
798 CONFIG_SYSCTL_SYSCALL_CHECK=y
799 CONFIG_HAVE_FUNCTION_TRACER=y
804 # CONFIG_FUNCTION_TRACER is not set
805 # CONFIG_SCHED_TRACER is not set
806 # CONFIG_CONTEXT_SWITCH_TRACER is not set
807 # CONFIG_BOOT_TRACER is not set
808 # CONFIG_STACK_TRACER is not set
809 # CONFIG_DYNAMIC_PRINTK_DEBUG is not set
810 # CONFIG_SAMPLES is not set
811 CONFIG_HAVE_ARCH_KGDB=y
812 # CONFIG_KGDB is not set
814 CONFIG_DEBUG_ERRORS=y
815 # CONFIG_DEBUG_STACK_USAGE is not set
817 # CONFIG_DEBUG_ICEDCC is not set
818 CONFIG_DEBUG_S3C_UART=0
823 # CONFIG_KEYS is not set
824 # CONFIG_SECURITY is not set
825 # CONFIG_SECURITYFS is not set
826 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
827 # CONFIG_CRYPTO is not set
833 # CONFIG_CRC_CCITT is not set
834 # CONFIG_CRC16 is not set
835 # CONFIG_CRC_T10DIF is not set
836 # CONFIG_CRC_ITU_T is not set
838 # CONFIG_CRC7 is not set
839 # CONFIG_LIBCRC32C is not set
840 CONFIG_ZLIB_INFLATE=y