arch/arm/configs/s3c6400_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.28-rc3
   4 # Mon Nov  3 10:10:30 2008
   5 #
   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"
  28
  29 #
  30 # General setup
  31 #
  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
 105
 106 #
 107 # IO Schedulers
 108 #
 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
 120
 121 #
 122 # System Type
 123 #
 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
 168
 169 #
 170 # Boot options
 171 #
 172 CONFIG_S3C_BOOT_ERROR_RESET=y
 173
 174 #
 175 # Power management
 176 #
 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
 191
 192 #
 193 # Processor Type
 194 #
 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
 208
 209 #
 210 # Processor Features
 211 #
 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
 218
 219 #
 220 # Bus support
 221 #
 222 # CONFIG_PCI_SYSCALL is not set
 223 # CONFIG_ARCH_SUPPORTS_MSI is not set
 224 # CONFIG_PCCARD is not set
 225
 226 #
 227 # Kernel Features
 228 #
 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
 254
 255 #
 256 # Boot options
 257 #
 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
 263
 264 #
 265 # CPU Power Management
 266 #
 267 # CONFIG_CPU_IDLE is not set
 268
 269 #
 270 # Floating point emulation
 271 #
 272
 273 #
 274 # At least one emulation must be selected
 275 #
 276 # CONFIG_FPE_NWFPE is not set
 277 # CONFIG_FPE_FASTFPE is not set
 278 CONFIG_VFP=y
 279
 280 #
 281 # Userspace binary formats
 282 #
 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
 288
 289 #
 290 # Power management options
 291 #
 292 # CONFIG_PM is not set
 293 CONFIG_ARCH_SUSPEND_POSSIBLE=y
 294 # CONFIG_NET is not set
 295
 296 #
 297 # Device Drivers
 298 #
 299
 300 #
 301 # Generic Driver Options
 302 #
 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
 328
 329 #
 330 # SCSI device support
 331 #
 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
 338
 339 #
 340 # Input device support
 341 #
 342 CONFIG_INPUT=y
 343 # CONFIG_INPUT_FF_MEMLESS is not set
 344 # CONFIG_INPUT_POLLDEV is not set
 345
 346 #
 347 # Userland interfaces
 348 #
 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
 356
 357 #
 358 # Input Device Drivers
 359 #
 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
 386
 387 #
 388 # Hardware I/O ports
 389 #
 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
 395
 396 #
 397 # Character devices
 398 #
 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
 406
 407 #
 408 # Serial drivers
 409 #
 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
 415
 416 #
 417 # Non-8250 serial port support
 418 #
 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
 439
 440 #
 441 # I2C Hardware Bus support
 442 #
 443
 444 #
 445 # I2C system bus drivers (mostly embedded / system-on-chip)
 446 #
 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
 451
 452 #
 453 # External I2C/SMBus adapter drivers
 454 #
 455 # CONFIG_I2C_PARPORT_LIGHT is not set
 456 # CONFIG_I2C_TAOS_EVM is not set
 457
 458 #
 459 # Other I2C/SMBus bus drivers
 460 #
 461 # CONFIG_I2C_PCA_PLATFORM is not set
 462 # CONFIG_I2C_STUB is not set
 463
 464 #
 465 # Miscellaneous I2C Chip support
 466 #
 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
 486
 487 #
 488 # I2C GPIO expanders:
 489 #
 490 # CONFIG_GPIO_MAX732X is not set
 491 # CONFIG_GPIO_PCA953X is not set
 492 # CONFIG_GPIO_PCF857X is not set
 493
 494 #
 495 # PCI GPIO expanders:
 496 #
 497
 498 #
 499 # SPI GPIO expanders:
 500 #
 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
 557
 558 #
 559 # Sonics Silicon Backplane
 560 #
 561 CONFIG_SSB_POSSIBLE=y
 562 # CONFIG_SSB is not set
 563
 564 #
 565 # Multifunction device drivers
 566 #
 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
 579
 580 #
 581 # Multimedia devices
 582 #
 583
 584 #
 585 # Multimedia core support
 586 #
 587 # CONFIG_VIDEO_DEV is not set
 588 # CONFIG_VIDEO_MEDIA is not set
 589
 590 #
 591 # Multimedia drivers
 592 #
 593 # CONFIG_DAB is not set
 594
 595 #
 596 # Graphics support
 597 #
 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
 602
 603 #
 604 # Display device support
 605 #
 606 # CONFIG_DISPLAY_SUPPORT is not set
 607
 608 #
 609 # Console display driver support
 610 #
 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
 619
 620 #
 621 # Special HID drivers
 622 #
 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
 629
 630 #
 631 # Enable Host or Gadget support to see Inventra options
 632 #
 633
 634 #
 635 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
 636 #
 637 # CONFIG_USB_GADGET is not set
 638 CONFIG_MMC=y
 639 CONFIG_MMC_DEBUG=y
 640 CONFIG_MMC_UNSAFE_RESUME=y
 641
 642 #
 643 # MMC/SD/SDIO Card Drivers
 644 #
 645 CONFIG_MMC_BLOCK=y
 646 CONFIG_MMC_BLOCK_BOUNCE=y
 647 CONFIG_SDIO_UART=y
 648 # CONFIG_MMC_TEST is not set
 649
 650 #
 651 # MMC/SD/SDIO Host Controller Drivers
 652 #
 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
 661
 662 #
 663 # Voltage and Current regulators
 664 #
 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
 670
 671 #
 672 # File systems
 673 #
 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
 698
 699 #
 700 # CD-ROM/DVD Filesystems
 701 #
 702 # CONFIG_ISO9660_FS is not set
 703 # CONFIG_UDF_FS is not set
 704
 705 #
 706 # DOS/FAT/NT Filesystems
 707 #
 708 # CONFIG_MSDOS_FS is not set
 709 # CONFIG_VFAT_FS is not set
 710 # CONFIG_NTFS_FS is not set
 711
 712 #
 713 # Pseudo filesystems
 714 #
 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
 723
 724 #
 725 # Miscellaneous filesystems
 726 #
 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
 743
 744 #
 745 # Partition Types
 746 #
 747 # CONFIG_PARTITION_ADVANCED is not set
 748 CONFIG_MSDOS_PARTITION=y
 749 # CONFIG_NLS is not set
 750
 751 #
 752 # Kernel hacking
 753 #
 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
 801
 802 #
 803 # Tracers
 804 #
 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_PORT=y
 820 CONFIG_DEBUG_S3C_UART=0
 821
 822 #
 823 # Security options
 824 #
 825 # CONFIG_KEYS is not set
 826 # CONFIG_SECURITY is not set
 827 # CONFIG_SECURITYFS is not set
 828 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
 829 # CONFIG_CRYPTO is not set
 830
 831 #
 832 # Library routines
 833 #
 834 CONFIG_BITREVERSE=y
 835 # CONFIG_CRC_CCITT is not set
 836 # CONFIG_CRC16 is not set
 837 # CONFIG_CRC_T10DIF is not set
 838 # CONFIG_CRC_ITU_T is not set
 839 CONFIG_CRC32=y
 840 # CONFIG_CRC7 is not set
 841 # CONFIG_LIBCRC32C is not set
 842 CONFIG_ZLIB_INFLATE=y
 843 CONFIG_PLIST=y
 844 CONFIG_HAS_IOMEM=y
 845 CONFIG_HAS_DMA=y