[ARM] pxa: update defconfig for Verdex Pro
[linux-2.6/verdex.git] / arch / arm / configs / s3c6400_defconfig
blob32860609e057764caa9c1b1f34331717c4dfb734
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.28-rc3
4 # Mon Nov  3 10:10:30 2008
6 CONFIG_ARM=y
7 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
8 CONFIG_GENERIC_GPIO=y
9 # CONFIG_GENERIC_TIME is not set
10 # CONFIG_GENERIC_CLOCKEVENTS is not set
11 CONFIG_MMU=y
12 CONFIG_NO_IOPORT=y
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"
30 # General setup
32 CONFIG_EXPERIMENTAL=y
33 CONFIG_BROKEN_ON_SMP=y
34 CONFIG_INIT_ENV_ARG_LIMIT=32
35 CONFIG_LOCALVERSION=""
36 CONFIG_LOCALVERSION_AUTO=y
37 CONFIG_SWAP=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
47 CONFIG_NAMESPACES=y
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
54 CONFIG_SYSCTL=y
55 # CONFIG_EMBEDDED is not set
56 CONFIG_UID16=y
57 CONFIG_SYSCTL_SYSCALL=y
58 CONFIG_KALLSYMS=y
59 CONFIG_KALLSYMS_ALL=y
60 # CONFIG_KALLSYMS_EXTRA_PASS is not set
61 CONFIG_HOTPLUG=y
62 CONFIG_PRINTK=y
63 CONFIG_BUG=y
64 CONFIG_ELF_CORE=y
65 CONFIG_COMPAT_BRK=y
66 CONFIG_BASE_FULL=y
67 CONFIG_FUTEX=y
68 CONFIG_ANON_INODES=y
69 CONFIG_EPOLL=y
70 CONFIG_SIGNALFD=y
71 CONFIG_TIMERFD=y
72 CONFIG_EVENTFD=y
73 CONFIG_SHMEM=y
74 CONFIG_AIO=y
75 CONFIG_VM_EVENT_COUNTERS=y
76 CONFIG_SLUB_DEBUG=y
77 # CONFIG_SLAB is not set
78 CONFIG_SLUB=y
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
84 CONFIG_HAVE_KPROBES=y
85 CONFIG_HAVE_KRETPROBES=y
86 CONFIG_HAVE_CLK=y
87 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
88 CONFIG_SLABINFO=y
89 CONFIG_RT_MUTEXES=y
90 # CONFIG_TINY_SHMEM is not set
91 CONFIG_BASE_SMALL=0
92 CONFIG_MODULES=y
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
98 CONFIG_KMOD=y
99 CONFIG_BLOCK=y
100 CONFIG_LBD=y
101 # CONFIG_BLK_DEV_IO_TRACE is not set
102 CONFIG_LSF=y
103 # CONFIG_BLK_DEV_BSG is not set
104 # CONFIG_BLK_DEV_INTEGRITY is not set
107 # IO Schedulers
109 CONFIG_IOSCHED_NOOP=y
110 CONFIG_IOSCHED_AS=y
111 CONFIG_IOSCHED_DEADLINE=y
112 CONFIG_IOSCHED_CFQ=y
113 # CONFIG_DEFAULT_AS is not set
114 # CONFIG_DEFAULT_DEADLINE is not set
115 CONFIG_DEFAULT_CFQ=y
116 # CONFIG_DEFAULT_NOOP is not set
117 CONFIG_DEFAULT_IOSCHED="cfq"
118 CONFIG_CLASSIC_RCU=y
119 # CONFIG_FREEZER is not set
122 # System Type
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
167 CONFIG_PLAT_S3C=y
170 # Boot options
172 CONFIG_S3C_BOOT_ERROR_RESET=y
175 # Power management
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
186 CONFIG_CPU_S3C6410=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
193 # Processor Type
195 CONFIG_CPU_32=y
196 CONFIG_CPU_V6=y
197 CONFIG_CPU_32v6K=y
198 CONFIG_CPU_32v6=y
199 CONFIG_CPU_ABRT_EV6=y
200 CONFIG_CPU_PABRT_NOIFAR=y
201 CONFIG_CPU_CACHE_V6=y
202 CONFIG_CPU_CACHE_VIPT=y
203 CONFIG_CPU_COPY_V6=y
204 CONFIG_CPU_TLB_V6=y
205 CONFIG_CPU_HAS_ASID=y
206 CONFIG_CPU_CP15=y
207 CONFIG_CPU_CP15_MMU=y
210 # Processor Features
212 CONFIG_ARM_THUMB=y
213 # CONFIG_CPU_ICACHE_DISABLE is not set
214 # CONFIG_CPU_DCACHE_DISABLE is not set
215 # CONFIG_CPU_BPREDICT_DISABLE is not set
216 # CONFIG_OUTER_CACHE is not set
217 CONFIG_ARM_VIC=y
220 # Bus support
222 # CONFIG_PCI_SYSCALL is not set
223 # CONFIG_ARCH_SUPPORTS_MSI is not set
224 # CONFIG_PCCARD is not set
227 # Kernel Features
229 CONFIG_VMSPLIT_3G=y
230 # CONFIG_VMSPLIT_2G is not set
231 # CONFIG_VMSPLIT_1G is not set
232 CONFIG_PAGE_OFFSET=0xC0000000
233 # CONFIG_PREEMPT is not set
234 CONFIG_HZ=100
235 CONFIG_AEABI=y
236 CONFIG_OABI_COMPAT=y
237 CONFIG_ARCH_FLATMEM_HAS_HOLES=y
238 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
239 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
240 CONFIG_SELECT_MEMORY_MODEL=y
241 CONFIG_FLATMEM_MANUAL=y
242 # CONFIG_DISCONTIGMEM_MANUAL is not set
243 # CONFIG_SPARSEMEM_MANUAL is not set
244 CONFIG_FLATMEM=y
245 CONFIG_FLAT_NODE_MEM_MAP=y
246 CONFIG_PAGEFLAGS_EXTENDED=y
247 CONFIG_SPLIT_PTLOCK_CPUS=4
248 # CONFIG_RESOURCES_64BIT is not set
249 # CONFIG_PHYS_ADDR_T_64BIT is not set
250 CONFIG_ZONE_DMA_FLAG=0
251 CONFIG_VIRT_TO_BUS=y
252 CONFIG_UNEVICTABLE_LRU=y
253 CONFIG_ALIGNMENT_TRAP=y
256 # Boot options
258 CONFIG_ZBOOT_ROM_TEXT=0
259 CONFIG_ZBOOT_ROM_BSS=0
260 CONFIG_CMDLINE="console=ttySAC0,115200 root=/dev/ram init=/bin/bash initrd=0x51000000,4M"
261 # CONFIG_XIP_KERNEL is not set
262 # CONFIG_KEXEC is not set
265 # CPU Power Management
267 # CONFIG_CPU_IDLE is not set
270 # Floating point emulation
274 # At least one emulation must be selected
276 # CONFIG_FPE_NWFPE is not set
277 # CONFIG_FPE_FASTFPE is not set
278 CONFIG_VFP=y
281 # Userspace binary formats
283 CONFIG_BINFMT_ELF=y
284 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
285 CONFIG_HAVE_AOUT=y
286 # CONFIG_BINFMT_AOUT is not set
287 # CONFIG_BINFMT_MISC is not set
290 # Power management options
292 # CONFIG_PM is not set
293 CONFIG_ARCH_SUSPEND_POSSIBLE=y
294 # CONFIG_NET is not set
297 # Device Drivers
301 # Generic Driver Options
303 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
304 CONFIG_STANDALONE=y
305 CONFIG_PREVENT_FIRMWARE_BUILD=y
306 CONFIG_FW_LOADER=y
307 CONFIG_FIRMWARE_IN_KERNEL=y
308 CONFIG_EXTRA_FIRMWARE=""
309 # CONFIG_DEBUG_DRIVER is not set
310 # CONFIG_DEBUG_DEVRES is not set
311 # CONFIG_SYS_HYPERVISOR is not set
312 # CONFIG_MTD is not set
313 # CONFIG_PARPORT is not set
314 CONFIG_BLK_DEV=y
315 # CONFIG_BLK_DEV_COW_COMMON is not set
316 CONFIG_BLK_DEV_LOOP=y
317 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
318 CONFIG_BLK_DEV_RAM=y
319 CONFIG_BLK_DEV_RAM_COUNT=16
320 CONFIG_BLK_DEV_RAM_SIZE=4096
321 # CONFIG_BLK_DEV_XIP is not set
322 # CONFIG_CDROM_PKTCDVD is not set
323 CONFIG_MISC_DEVICES=y
324 # CONFIG_EEPROM_93CX6 is not set
325 # CONFIG_ENCLOSURE_SERVICES is not set
326 CONFIG_HAVE_IDE=y
327 # CONFIG_IDE is not set
330 # SCSI device support
332 # CONFIG_RAID_ATTRS is not set
333 # CONFIG_SCSI is not set
334 # CONFIG_SCSI_DMA is not set
335 # CONFIG_SCSI_NETLINK is not set
336 # CONFIG_ATA is not set
337 # CONFIG_MD is not set
340 # Input device support
342 CONFIG_INPUT=y
343 # CONFIG_INPUT_FF_MEMLESS is not set
344 # CONFIG_INPUT_POLLDEV is not set
347 # Userland interfaces
349 CONFIG_INPUT_MOUSEDEV=y
350 CONFIG_INPUT_MOUSEDEV_PSAUX=y
351 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
352 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
353 # CONFIG_INPUT_JOYDEV is not set
354 # CONFIG_INPUT_EVDEV is not set
355 # CONFIG_INPUT_EVBUG is not set
358 # Input Device Drivers
360 CONFIG_INPUT_KEYBOARD=y
361 CONFIG_KEYBOARD_ATKBD=y
362 # CONFIG_KEYBOARD_SUNKBD is not set
363 # CONFIG_KEYBOARD_LKKBD is not set
364 # CONFIG_KEYBOARD_XTKBD is not set
365 # CONFIG_KEYBOARD_NEWTON is not set
366 # CONFIG_KEYBOARD_STOWAWAY is not set
367 # CONFIG_KEYBOARD_GPIO is not set
368 CONFIG_INPUT_MOUSE=y
369 CONFIG_MOUSE_PS2=y
370 CONFIG_MOUSE_PS2_ALPS=y
371 CONFIG_MOUSE_PS2_LOGIPS2PP=y
372 CONFIG_MOUSE_PS2_SYNAPTICS=y
373 CONFIG_MOUSE_PS2_LIFEBOOK=y
374 CONFIG_MOUSE_PS2_TRACKPOINT=y
375 # CONFIG_MOUSE_PS2_ELANTECH is not set
376 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
377 # CONFIG_MOUSE_SERIAL is not set
378 # CONFIG_MOUSE_APPLETOUCH is not set
379 # CONFIG_MOUSE_BCM5974 is not set
380 # CONFIG_MOUSE_VSXXXAA is not set
381 # CONFIG_MOUSE_GPIO is not set
382 # CONFIG_INPUT_JOYSTICK is not set
383 # CONFIG_INPUT_TABLET is not set
384 # CONFIG_INPUT_TOUCHSCREEN is not set
385 # CONFIG_INPUT_MISC is not set
388 # Hardware I/O ports
390 CONFIG_SERIO=y
391 CONFIG_SERIO_SERPORT=y
392 CONFIG_SERIO_LIBPS2=y
393 # CONFIG_SERIO_RAW is not set
394 # CONFIG_GAMEPORT is not set
397 # Character devices
399 CONFIG_VT=y
400 CONFIG_CONSOLE_TRANSLATIONS=y
401 CONFIG_VT_CONSOLE=y
402 CONFIG_HW_CONSOLE=y
403 # CONFIG_VT_HW_CONSOLE_BINDING is not set
404 CONFIG_DEVKMEM=y
405 # CONFIG_SERIAL_NONSTANDARD is not set
408 # Serial drivers
410 CONFIG_SERIAL_8250=y
411 # CONFIG_SERIAL_8250_CONSOLE is not set
412 CONFIG_SERIAL_8250_NR_UARTS=4
413 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
414 # CONFIG_SERIAL_8250_EXTENDED is not set
417 # Non-8250 serial port support
419 CONFIG_SERIAL_SAMSUNG=y
420 CONFIG_SERIAL_SAMSUNG_UARTS=4
421 # CONFIG_SERIAL_SAMSUNG_DEBUG is not set
422 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
423 CONFIG_SERIAL_S3C6400=y
424 CONFIG_SERIAL_CORE=y
425 CONFIG_SERIAL_CORE_CONSOLE=y
426 CONFIG_UNIX98_PTYS=y
427 CONFIG_LEGACY_PTYS=y
428 CONFIG_LEGACY_PTY_COUNT=256
429 # CONFIG_IPMI_HANDLER is not set
430 CONFIG_HW_RANDOM=y
431 # CONFIG_NVRAM is not set
432 # CONFIG_R3964 is not set
433 # CONFIG_RAW_DRIVER is not set
434 # CONFIG_TCG_TPM is not set
435 CONFIG_I2C=y
436 CONFIG_I2C_BOARDINFO=y
437 CONFIG_I2C_CHARDEV=y
438 CONFIG_I2C_HELPER_AUTO=y
441 # I2C Hardware Bus support
445 # I2C system bus drivers (mostly embedded / system-on-chip)
447 # CONFIG_I2C_GPIO is not set
448 # CONFIG_I2C_OCORES is not set
449 CONFIG_I2C_S3C2410=y
450 # CONFIG_I2C_SIMTEC is not set
453 # External I2C/SMBus adapter drivers
455 # CONFIG_I2C_PARPORT_LIGHT is not set
456 # CONFIG_I2C_TAOS_EVM is not set
459 # Other I2C/SMBus bus drivers
461 # CONFIG_I2C_PCA_PLATFORM is not set
462 # CONFIG_I2C_STUB is not set
465 # Miscellaneous I2C Chip support
467 # CONFIG_DS1682 is not set
468 CONFIG_EEPROM_AT24=y
469 # CONFIG_EEPROM_LEGACY is not set
470 # CONFIG_SENSORS_PCF8574 is not set
471 # CONFIG_PCF8575 is not set
472 # CONFIG_SENSORS_PCA9539 is not set
473 # CONFIG_SENSORS_PCF8591 is not set
474 # CONFIG_TPS65010 is not set
475 # CONFIG_SENSORS_MAX6875 is not set
476 # CONFIG_SENSORS_TSL2550 is not set
477 # CONFIG_I2C_DEBUG_CORE is not set
478 # CONFIG_I2C_DEBUG_ALGO is not set
479 # CONFIG_I2C_DEBUG_BUS is not set
480 # CONFIG_I2C_DEBUG_CHIP is not set
481 # CONFIG_SPI is not set
482 CONFIG_ARCH_REQUIRE_GPIOLIB=y
483 CONFIG_GPIOLIB=y
484 # CONFIG_DEBUG_GPIO is not set
485 # CONFIG_GPIO_SYSFS is not set
488 # I2C GPIO expanders:
490 # CONFIG_GPIO_MAX732X is not set
491 # CONFIG_GPIO_PCA953X is not set
492 # CONFIG_GPIO_PCF857X is not set
495 # PCI GPIO expanders:
499 # SPI GPIO expanders:
501 # CONFIG_W1 is not set
502 # CONFIG_POWER_SUPPLY is not set
503 CONFIG_HWMON=y
504 # CONFIG_HWMON_VID is not set
505 # CONFIG_SENSORS_AD7414 is not set
506 # CONFIG_SENSORS_AD7418 is not set
507 # CONFIG_SENSORS_ADM1021 is not set
508 # CONFIG_SENSORS_ADM1025 is not set
509 # CONFIG_SENSORS_ADM1026 is not set
510 # CONFIG_SENSORS_ADM1029 is not set
511 # CONFIG_SENSORS_ADM1031 is not set
512 # CONFIG_SENSORS_ADM9240 is not set
513 # CONFIG_SENSORS_ADT7470 is not set
514 # CONFIG_SENSORS_ADT7473 is not set
515 # CONFIG_SENSORS_ATXP1 is not set
516 # CONFIG_SENSORS_DS1621 is not set
517 # CONFIG_SENSORS_F71805F is not set
518 # CONFIG_SENSORS_F71882FG is not set
519 # CONFIG_SENSORS_F75375S is not set
520 # CONFIG_SENSORS_GL518SM is not set
521 # CONFIG_SENSORS_GL520SM is not set
522 # CONFIG_SENSORS_IT87 is not set
523 # CONFIG_SENSORS_LM63 is not set
524 # CONFIG_SENSORS_LM75 is not set
525 # CONFIG_SENSORS_LM77 is not set
526 # CONFIG_SENSORS_LM78 is not set
527 # CONFIG_SENSORS_LM80 is not set
528 # CONFIG_SENSORS_LM83 is not set
529 # CONFIG_SENSORS_LM85 is not set
530 # CONFIG_SENSORS_LM87 is not set
531 # CONFIG_SENSORS_LM90 is not set
532 # CONFIG_SENSORS_LM92 is not set
533 # CONFIG_SENSORS_LM93 is not set
534 # CONFIG_SENSORS_MAX1619 is not set
535 # CONFIG_SENSORS_MAX6650 is not set
536 # CONFIG_SENSORS_PC87360 is not set
537 # CONFIG_SENSORS_PC87427 is not set
538 # CONFIG_SENSORS_DME1737 is not set
539 # CONFIG_SENSORS_SMSC47M1 is not set
540 # CONFIG_SENSORS_SMSC47M192 is not set
541 # CONFIG_SENSORS_SMSC47B397 is not set
542 # CONFIG_SENSORS_ADS7828 is not set
543 # CONFIG_SENSORS_THMC50 is not set
544 # CONFIG_SENSORS_VT1211 is not set
545 # CONFIG_SENSORS_W83781D is not set
546 # CONFIG_SENSORS_W83791D is not set
547 # CONFIG_SENSORS_W83792D is not set
548 # CONFIG_SENSORS_W83793 is not set
549 # CONFIG_SENSORS_W83L785TS is not set
550 # CONFIG_SENSORS_W83L786NG is not set
551 # CONFIG_SENSORS_W83627HF is not set
552 # CONFIG_SENSORS_W83627EHF is not set
553 # CONFIG_HWMON_DEBUG_CHIP is not set
554 # CONFIG_THERMAL is not set
555 # CONFIG_THERMAL_HWMON is not set
556 # CONFIG_WATCHDOG is not set
559 # Sonics Silicon Backplane
561 CONFIG_SSB_POSSIBLE=y
562 # CONFIG_SSB is not set
565 # Multifunction device drivers
567 # CONFIG_MFD_CORE is not set
568 # CONFIG_MFD_SM501 is not set
569 # CONFIG_MFD_ASIC3 is not set
570 # CONFIG_HTC_EGPIO is not set
571 # CONFIG_HTC_PASIC3 is not set
572 # CONFIG_MFD_TMIO is not set
573 # CONFIG_MFD_T7L66XB is not set
574 # CONFIG_MFD_TC6387XB is not set
575 # CONFIG_MFD_TC6393XB is not set
576 # CONFIG_PMIC_DA903X is not set
577 # CONFIG_MFD_WM8400 is not set
578 # CONFIG_MFD_WM8350_I2C is not set
581 # Multimedia devices
585 # Multimedia core support
587 # CONFIG_VIDEO_DEV is not set
588 # CONFIG_VIDEO_MEDIA is not set
591 # Multimedia drivers
593 # CONFIG_DAB is not set
596 # Graphics support
598 # CONFIG_VGASTATE is not set
599 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
600 # CONFIG_FB is not set
601 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
604 # Display device support
606 # CONFIG_DISPLAY_SUPPORT is not set
609 # Console display driver support
611 # CONFIG_VGA_CONSOLE is not set
612 CONFIG_DUMMY_CONSOLE=y
613 # CONFIG_SOUND is not set
614 CONFIG_HID_SUPPORT=y
615 CONFIG_HID=y
616 CONFIG_HID_DEBUG=y
617 # CONFIG_HIDRAW is not set
618 # CONFIG_HID_PID is not set
621 # Special HID drivers
623 # CONFIG_HID_COMPAT is not set
624 CONFIG_USB_SUPPORT=y
625 CONFIG_USB_ARCH_HAS_HCD=y
626 # CONFIG_USB_ARCH_HAS_OHCI is not set
627 # CONFIG_USB_ARCH_HAS_EHCI is not set
628 # CONFIG_USB is not set
631 # Enable Host or Gadget support to see Inventra options
635 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
637 # CONFIG_USB_GADGET is not set
638 CONFIG_MMC=y
639 CONFIG_MMC_DEBUG=y
640 CONFIG_MMC_UNSAFE_RESUME=y
643 # MMC/SD/SDIO Card Drivers
645 CONFIG_MMC_BLOCK=y
646 CONFIG_MMC_BLOCK_BOUNCE=y
647 CONFIG_SDIO_UART=y
648 # CONFIG_MMC_TEST is not set
651 # MMC/SD/SDIO Host Controller Drivers
653 CONFIG_MMC_SDHCI=y
654 CONFIG_MMC_SDHCI_S3C=y
655 # CONFIG_MEMSTICK is not set
656 # CONFIG_ACCESSIBILITY is not set
657 # CONFIG_NEW_LEDS is not set
658 CONFIG_RTC_LIB=y
659 # CONFIG_RTC_CLASS is not set
660 # CONFIG_DMADEVICES is not set
663 # Voltage and Current regulators
665 # CONFIG_REGULATOR is not set
666 # CONFIG_REGULATOR_FIXED_VOLTAGE is not set
667 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
668 # CONFIG_REGULATOR_BQ24022 is not set
669 # CONFIG_UIO is not set
672 # File systems
674 CONFIG_EXT2_FS=y
675 # CONFIG_EXT2_FS_XATTR is not set
676 # CONFIG_EXT2_FS_XIP is not set
677 CONFIG_EXT3_FS=y
678 CONFIG_EXT3_FS_XATTR=y
679 CONFIG_EXT3_FS_POSIX_ACL=y
680 CONFIG_EXT3_FS_SECURITY=y
681 # CONFIG_EXT4_FS is not set
682 CONFIG_JBD=y
683 CONFIG_FS_MBCACHE=y
684 # CONFIG_REISERFS_FS is not set
685 # CONFIG_JFS_FS is not set
686 CONFIG_FS_POSIX_ACL=y
687 CONFIG_FILE_LOCKING=y
688 # CONFIG_XFS_FS is not set
689 # CONFIG_GFS2_FS is not set
690 CONFIG_DNOTIFY=y
691 CONFIG_INOTIFY=y
692 CONFIG_INOTIFY_USER=y
693 # CONFIG_QUOTA is not set
694 # CONFIG_AUTOFS_FS is not set
695 # CONFIG_AUTOFS4_FS is not set
696 # CONFIG_FUSE_FS is not set
697 CONFIG_GENERIC_ACL=y
700 # CD-ROM/DVD Filesystems
702 # CONFIG_ISO9660_FS is not set
703 # CONFIG_UDF_FS is not set
706 # DOS/FAT/NT Filesystems
708 # CONFIG_MSDOS_FS is not set
709 # CONFIG_VFAT_FS is not set
710 # CONFIG_NTFS_FS is not set
713 # Pseudo filesystems
715 CONFIG_PROC_FS=y
716 CONFIG_PROC_SYSCTL=y
717 CONFIG_PROC_PAGE_MONITOR=y
718 CONFIG_SYSFS=y
719 CONFIG_TMPFS=y
720 CONFIG_TMPFS_POSIX_ACL=y
721 # CONFIG_HUGETLB_PAGE is not set
722 # CONFIG_CONFIGFS_FS is not set
725 # Miscellaneous filesystems
727 # CONFIG_ADFS_FS is not set
728 # CONFIG_AFFS_FS is not set
729 # CONFIG_HFS_FS is not set
730 # CONFIG_HFSPLUS_FS is not set
731 # CONFIG_BEFS_FS is not set
732 # CONFIG_BFS_FS is not set
733 # CONFIG_EFS_FS is not set
734 CONFIG_CRAMFS=y
735 # CONFIG_VXFS_FS is not set
736 # CONFIG_MINIX_FS is not set
737 # CONFIG_OMFS_FS is not set
738 # CONFIG_HPFS_FS is not set
739 # CONFIG_QNX4FS_FS is not set
740 CONFIG_ROMFS_FS=y
741 # CONFIG_SYSV_FS is not set
742 # CONFIG_UFS_FS is not set
745 # Partition Types
747 # CONFIG_PARTITION_ADVANCED is not set
748 CONFIG_MSDOS_PARTITION=y
749 # CONFIG_NLS is not set
752 # Kernel hacking
754 # CONFIG_PRINTK_TIME is not set
755 CONFIG_ENABLE_WARN_DEPRECATED=y
756 CONFIG_ENABLE_MUST_CHECK=y
757 CONFIG_FRAME_WARN=1024
758 CONFIG_MAGIC_SYSRQ=y
759 # CONFIG_UNUSED_SYMBOLS is not set
760 # CONFIG_DEBUG_FS is not set
761 # CONFIG_HEADERS_CHECK is not set
762 CONFIG_DEBUG_KERNEL=y
763 # CONFIG_DEBUG_SHIRQ is not set
764 CONFIG_DETECT_SOFTLOCKUP=y
765 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
766 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
767 CONFIG_SCHED_DEBUG=y
768 # CONFIG_SCHEDSTATS is not set
769 # CONFIG_TIMER_STATS is not set
770 # CONFIG_DEBUG_OBJECTS is not set
771 # CONFIG_SLUB_DEBUG_ON is not set
772 # CONFIG_SLUB_STATS is not set
773 CONFIG_DEBUG_RT_MUTEXES=y
774 CONFIG_DEBUG_PI_LIST=y
775 # CONFIG_RT_MUTEX_TESTER is not set
776 CONFIG_DEBUG_SPINLOCK=y
777 CONFIG_DEBUG_MUTEXES=y
778 # CONFIG_DEBUG_LOCK_ALLOC is not set
779 # CONFIG_PROVE_LOCKING is not set
780 # CONFIG_LOCK_STAT is not set
781 CONFIG_DEBUG_SPINLOCK_SLEEP=y
782 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
783 # CONFIG_DEBUG_KOBJECT is not set
784 CONFIG_DEBUG_BUGVERBOSE=y
785 CONFIG_DEBUG_INFO=y
786 # CONFIG_DEBUG_VM is not set
787 # CONFIG_DEBUG_WRITECOUNT is not set
788 CONFIG_DEBUG_MEMORY_INIT=y
789 # CONFIG_DEBUG_LIST is not set
790 # CONFIG_DEBUG_SG is not set
791 CONFIG_FRAME_POINTER=y
792 # CONFIG_BOOT_PRINTK_DELAY is not set
793 # CONFIG_RCU_TORTURE_TEST is not set
794 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
795 # CONFIG_BACKTRACE_SELF_TEST is not set
796 # CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
797 # CONFIG_FAULT_INJECTION is not set
798 # CONFIG_LATENCYTOP is not set
799 CONFIG_SYSCTL_SYSCALL_CHECK=y
800 CONFIG_HAVE_FUNCTION_TRACER=y
803 # Tracers
805 # CONFIG_FUNCTION_TRACER is not set
806 # CONFIG_SCHED_TRACER is not set
807 # CONFIG_CONTEXT_SWITCH_TRACER is not set
808 # CONFIG_BOOT_TRACER is not set
809 # CONFIG_STACK_TRACER is not set
810 # CONFIG_DYNAMIC_PRINTK_DEBUG is not set
811 # CONFIG_SAMPLES is not set
812 CONFIG_HAVE_ARCH_KGDB=y
813 # CONFIG_KGDB is not set
814 CONFIG_DEBUG_USER=y
815 CONFIG_DEBUG_ERRORS=y
816 # CONFIG_DEBUG_STACK_USAGE is not set
817 CONFIG_DEBUG_LL=y
818 # CONFIG_DEBUG_ICEDCC is not set
819 CONFIG_DEBUG_S3C_UART=0
822 # Security options
824 # CONFIG_KEYS is not set
825 # CONFIG_SECURITY is not set
826 # CONFIG_SECURITYFS is not set
827 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
828 # CONFIG_CRYPTO is not set
831 # Library routines
833 CONFIG_BITREVERSE=y
834 # CONFIG_CRC_CCITT is not set
835 # CONFIG_CRC16 is not set
836 # CONFIG_CRC_T10DIF is not set
837 # CONFIG_CRC_ITU_T is not set
838 CONFIG_CRC32=y
839 # CONFIG_CRC7 is not set
840 # CONFIG_LIBCRC32C is not set
841 CONFIG_ZLIB_INFLATE=y
842 CONFIG_PLIST=y
843 CONFIG_HAS_IOMEM=y
844 CONFIG_HAS_DMA=y