kernel/config-armv7hl-exynos

   1 CONFIG_NO_IOPORT=y
   2 CONFIG_ARCH_HAS_CPUFREQ=y
   3 CONFIG_NEED_MACH_GPIO_H=y
   4 CONFIG_NEED_MACH_MEMORY_H=y
   5
   6 #
   7 # IRQ subsystem
   8 #
   9 CONFIG_GENERIC_IRQ_CHIP=y
  10 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
  11
  12 #
  13 # RCU Subsystem
  14 #
  15 CONFIG_TREE_RCU=y
  16 CONFIG_RCU_FANOUT=32
  17 CONFIG_RCU_FANOUT_LEAF=16
  18 # CONFIG_RCU_FANOUT_EXACT is not set
  19 CONFIG_RCU_FAST_NO_HZ=y
  20 CONFIG_RCU_NOCB_CPU=y
  21
  22 #
  23 # Kernel Performance Events And Counters
  24 #
  25 CONFIG_USE_GENERIC_SMP_HELPERS=y
  26
  27 #
  28 # IO Schedulers
  29 #
  30 CONFIG_PADATA=y
  31 CONFIG_MUTEX_SPIN_ON_OWNER=y
  32
  33 #
  34 # System Type
  35 #
  36 # CONFIG_ARCH_VERSATILE is not set
  37 CONFIG_ARCH_EXYNOS=y
  38 CONFIG_PLAT_SAMSUNG=y
  39 CONFIG_PLAT_S5P=y
  40
  41 #
  42 # Boot options
  43 #
  44 # CONFIG_S3C_BOOT_ERROR_RESET is not set
  45 CONFIG_S3C_BOOT_UART_FORCE_FIFO=y
  46 CONFIG_S3C_LOWLEVEL_UART_PORT=1
  47 CONFIG_SAMSUNG_CLOCK=y
  48 CONFIG_SAMSUNG_CLKSRC=y
  49 CONFIG_S5P_CLOCK=y
  50 CONFIG_SAMSUNG_IRQ_VIC_TIMER=y
  51 CONFIG_S5P_IRQ=y
  52 CONFIG_SAMSUNG_GPIOLIB_4BIT=y
  53 CONFIG_S5P_GPIO_DRVSTR=y
  54 CONFIG_SAMSUNG_GPIO_EXTRA=0
  55 CONFIG_S3C_GPIO_SPACE=0
  56 CONFIG_S3C_GPIO_TRACK=y
  57 # CONFIG_S3C_ADC is not set
  58 CONFIG_S3C_DEV_HSMMC2=y
  59 CONFIG_S3C_DEV_HSMMC3=y
  60 CONFIG_S3C_DEV_I2C1=y
  61 CONFIG_S3C_DEV_I2C3=y
  62 CONFIG_S3C_DEV_I2C7=y
  63 CONFIG_S3C_DEV_USB_HSOTG=y
  64 CONFIG_S3C_DEV_WDT=y
  65 CONFIG_S3C_DEV_RTC=y
  66 CONFIG_SAMSUNG_DEV_KEYPAD=y
  67 CONFIG_SAMSUNG_DEV_PWM=y
  68 CONFIG_SAMSUNG_DEV_BACKLIGHT=y
  69 CONFIG_S5P_DEV_FIMC0=y
  70 CONFIG_S5P_DEV_FIMC1=y
  71 CONFIG_S5P_DEV_FIMC2=y
  72 CONFIG_S5P_DEV_FIMC3=y
  73 CONFIG_S5P_DEV_FIMD0=y
  74 CONFIG_S5P_DEV_MFC=y
  75 CONFIG_S3C24XX_PWM=y
  76 CONFIG_SAMSUNG_DMADEV=y
  77
  78 #
  79 # Power management
  80 #
  81 # CONFIG_SAMSUNG_PM_DEBUG is not set
  82 # CONFIG_SAMSUNG_PM_CHECK is not set
  83 CONFIG_S5P_PM=y
  84 CONFIG_S5P_SLEEP=y
  85 CONFIG_DEBUG_S3C_UART=0
  86
  87 #
  88 # SAMSUNG EXYNOS SoCs Support
  89 #
  90 CONFIG_ARCH_EXYNOS4=y
  91 # CONFIG_ARCH_EXYNOS5 is not set
  92
  93 #
  94 # EXYNOS SoCs
  95 #
  96 # CONFIG_CPU_EXYNOS4210 is not set
  97 CONFIG_SOC_EXYNOS4212=y
  98 CONFIG_SOC_EXYNOS4412=y
  99 CONFIG_EXYNOS4_MCT=y
 100 CONFIG_EXYNOS_DEV_DMA=y
 101 CONFIG_EXYNOS_DEV_DRM=y
 102 CONFIG_EXYNOS4_SETUP_FIMD0=y
 103 CONFIG_EXYNOS_DEV_SYSMMU=y
 104 CONFIG_EXYNOS4_SETUP_I2C1=y
 105 CONFIG_EXYNOS4_SETUP_I2C3=y
 106 CONFIG_EXYNOS4_SETUP_I2C7=y
 107 CONFIG_EXYNOS4_SETUP_KEYPAD=y
 108 CONFIG_EXYNOS4_SETUP_SDHCI=y
 109 CONFIG_EXYNOS4_SETUP_SDHCI_GPIO=y
 110 CONFIG_EXYNOS4_SETUP_USB_PHY=y
 111
 112 #
 113 # EXYNOS4210 Boards
 114 #
 115 # CONFIG_MACH_SMDKC210 is not set
 116 # CONFIG_MACH_SMDKV310 is not set
 117 # CONFIG_MACH_ARMLEX4210 is not set
 118 # CONFIG_MACH_UNIVERSAL_C210 is not set
 119 # CONFIG_MACH_NURI is not set
 120 # CONFIG_MACH_ORIGEN is not set
 121
 122 #
 123 # EXYNOS4212 Boards
 124 #
 125 CONFIG_MACH_SMDK4212=y
 126
 127 #
 128 # EXYNOS4412 Boards
 129 #
 130 CONFIG_MACH_SMDK4412=y
 131
 132 #
 133 # Flattened Device Tree based board for EXYNOS SoCs
 134 #
 135 # CONFIG_MACH_EXYNOS4_DT is not set
 136
 137 #
 138 # Configuration for HSMMC 8-bit bus width
 139 #
 140 # CONFIG_EXYNOS4_SDHCI_CH0_8BIT is not set
 141 # CONFIG_EXYNOS4_SDHCI_CH2_8BIT is not set
 142
 143 #
 144 # Processor Type
 145 #
 146 CONFIG_CPU_V7=y
 147 CONFIG_CPU_32v6K=y
 148 CONFIG_CPU_32v7=y
 149 CONFIG_CPU_ABRT_EV7=y
 150 CONFIG_CPU_PABRT_V7=y
 151 CONFIG_CPU_CACHE_V7=y
 152 CONFIG_CPU_CACHE_VIPT=y
 153 CONFIG_CPU_COPY_V6=y
 154 CONFIG_CPU_TLB_V7=y
 155 CONFIG_CPU_HAS_ASID=y
 156
 157 #
 158 # Processor Features
 159 #
 160 # CONFIG_ARM_LPAE is not set
 161 # CONFIG_ARM_THUMBEE is not set
 162 CONFIG_ARM_VIRT_EXT=y
 163 CONFIG_SWP_EMULATE=y
 164 # CONFIG_CPU_BPREDICT_DISABLE is not set
 165 CONFIG_OUTER_CACHE=y
 166 CONFIG_OUTER_CACHE_SYNC=y
 167 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
 168 CONFIG_CACHE_L2X0=y
 169 CONFIG_CACHE_PL310=y
 170 CONFIG_ARM_L1_CACHE_SHIFT_6=y
 171 CONFIG_ARM_L1_CACHE_SHIFT=6
 172 CONFIG_ARM_DMA_MEM_BUFFERABLE=y
 173 CONFIG_ARM_ERRATA_430973=y
 174 CONFIG_ARM_ERRATA_458693=y
 175 CONFIG_ARM_ERRATA_460075=y
 176 CONFIG_ARM_ERRATA_742230=y
 177 CONFIG_ARM_ERRATA_742231=y
 178 CONFIG_PL310_ERRATA_588369=y
 179 CONFIG_ARM_ERRATA_720789=y
 180 CONFIG_PL310_ERRATA_727915=y
 181 CONFIG_ARM_ERRATA_743622=y
 182 CONFIG_ARM_ERRATA_751472=y
 183 CONFIG_PL310_ERRATA_753970=y
 184 CONFIG_ARM_ERRATA_754322=y
 185 CONFIG_ARM_ERRATA_754327=y
 186 CONFIG_ARM_ERRATA_764369=y
 187 CONFIG_PL310_ERRATA_769419=y
 188 CONFIG_ARM_ERRATA_775420=y
 189 CONFIG_ARM_ERRATA_798181=y
 190 CONFIG_ARM_GIC=y
 191 CONFIG_GIC_NON_BANKED=y
 192
 193 #
 194 # Bus support
 195 #
 196 # CONFIG_PCI_SYSCALL is not set
 197 # CONFIG_PCCARD is not set
 198
 199 #
 200 # Kernel Features
 201 #
 202 CONFIG_SMP=y
 203 CONFIG_SMP_ON_UP=y
 204 CONFIG_ARM_CPU_TOPOLOGY=y
 205 CONFIG_SCHED_MC=y
 206 CONFIG_SCHED_SMT=y
 207 # CONFIG_ARM_ARCH_TIMER is not set
 208 CONFIG_NR_CPUS=8
 209 CONFIG_HOTPLUG_CPU=y
 210 CONFIG_LOCAL_TIMERS=y
 211 CONFIG_HZ=200
 212 # CONFIG_THUMB2_KERNEL is not set
 213 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
 214 CONFIG_ARCH_SPARSEMEM_ENABLE=y
 215 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
 216 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
 217 CONFIG_SPARSEMEM_MANUAL=y
 218 CONFIG_SPARSEMEM=y
 219 CONFIG_SPARSEMEM_EXTREME=y
 220 CONFIG_SPLIT_PTLOCK_CPUS=4
 221
 222 #
 223 # Boot options
 224 #
 225 # CONFIG_USE_OF is not set
 226 CONFIG_CMDLINE="console=ttySAC1,115200 root=/dev/mmcblk0p2 rootwait"
 227
 228 #
 229 # CPU Frequency scaling
 230 #
 231 # CONFIG_CPU_FREQ is not set
 232
 233 #
 234 # At least one emulation must be selected
 235 #
 236 CONFIG_VFPv3=y
 237 CONFIG_NEON=y
 238
 239 #
 240 # Power management options
 241 #
 242 CONFIG_PM_SLEEP_SMP=y
 243
 244 #
 245 # Classification
 246 #
 247 CONFIG_RPS=y
 248 CONFIG_RFS_ACCEL=y
 249 CONFIG_XPS=y
 250
 251 #
 252 # Bluetooth device drivers
 253 #
 254 # CONFIG_RFKILL_REGULATOR is not set
 255
 256 #
 257 # Generic Driver Options
 258 #
 259 CONFIG_REGMAP_I2C=y
 260
 261 #
 262 # Bus devices
 263 #
 264 CONFIG_MTD=y
 265 CONFIG_MTD_TESTS=m
 266 # CONFIG_MTD_REDBOOT_PARTS is not set
 267 CONFIG_MTD_CMDLINE_PARTS=y
 268 # CONFIG_MTD_AFS_PARTS is not set
 269 # CONFIG_MTD_AR7_PARTS is not set
 270
 271 #
 272 # User Modules And Translation Layers
 273 #
 274 CONFIG_MTD_CHAR=y
 275 CONFIG_MTD_BLKDEVS=y
 276 CONFIG_MTD_BLOCK=y
 277 # CONFIG_FTL is not set
 278 # CONFIG_NFTL is not set
 279 # CONFIG_INFTL is not set
 280 # CONFIG_RFD_FTL is not set
 281 # CONFIG_SSFDC is not set
 282 CONFIG_SM_FTL=m
 283 # CONFIG_MTD_OOPS is not set
 284 # CONFIG_MTD_SWAP is not set
 285
 286 #
 287 # RAM/ROM/Flash chip drivers
 288 #
 289 # CONFIG_MTD_CFI is not set
 290 # CONFIG_MTD_JEDECPROBE is not set
 291 CONFIG_MTD_MAP_BANK_WIDTH_1=y
 292 CONFIG_MTD_MAP_BANK_WIDTH_2=y
 293 CONFIG_MTD_MAP_BANK_WIDTH_4=y
 294 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
 295 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
 296 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
 297 CONFIG_MTD_CFI_I1=y
 298 CONFIG_MTD_CFI_I2=y
 299 # CONFIG_MTD_CFI_I4 is not set
 300 # CONFIG_MTD_CFI_I8 is not set
 301 CONFIG_MTD_RAM=m
 302 # CONFIG_MTD_ROM is not set
 303 # CONFIG_MTD_ABSENT is not set
 304
 305 #
 306 # Mapping drivers for chip access
 307 #
 308 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
 309 CONFIG_MTD_PLATRAM=m
 310
 311 #
 312 # Self-contained MTD device drivers
 313 #
 314 CONFIG_MTD_SLRAM=m
 315 CONFIG_MTD_PHRAM=m
 316 # CONFIG_MTD_MTDRAM is not set
 317 # CONFIG_MTD_BLOCK2MTD is not set
 318
 319 #
 320 # Disk-On-Chip Device Drivers
 321 #
 322 # CONFIG_MTD_DOC2000 is not set
 323 # CONFIG_MTD_DOC2001 is not set
 324 # CONFIG_MTD_DOC2001PLUS is not set
 325 # CONFIG_MTD_DOCG3 is not set
 326 CONFIG_MTD_NAND_ECC=y
 327 # CONFIG_MTD_NAND_ECC_SMC is not set
 328 CONFIG_MTD_NAND=y
 329 # CONFIG_MTD_NAND_ECC_BCH is not set
 330 # CONFIG_MTD_SM_COMMON is not set
 331 # CONFIG_MTD_NAND_MUSEUM_IDS is not set
 332 # CONFIG_MTD_NAND_DENALI is not set
 333 # CONFIG_MTD_NAND_GPIO is not set
 334 CONFIG_MTD_NAND_IDS=y
 335 # CONFIG_MTD_NAND_DISKONCHIP is not set
 336 # CONFIG_MTD_NAND_DOCG4 is not set
 337 # CONFIG_MTD_NAND_NANDSIM is not set
 338 CONFIG_MTD_NAND_PLATFORM=y
 339 # CONFIG_MTD_ALAUDA is not set
 340 CONFIG_MTD_ONENAND=y
 341 # CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
 342 # CONFIG_MTD_ONENAND_GENERIC is not set
 343 # CONFIG_MTD_ONENAND_SAMSUNG is not set
 344 # CONFIG_MTD_ONENAND_OTP is not set
 345 CONFIG_MTD_ONENAND_2X_PROGRAM=y
 346 CONFIG_MTD_ONENAND_SIM=m
 347
 348 #
 349 # LPDDR flash memory drivers
 350 #
 351 # CONFIG_MTD_LPDDR is not set
 352 # CONFIG_MTD_UBI is not set
 353 # CONFIG_PARPORT is not set
 354 CONFIG_BLK_DEV_RAM_SIZE=65536
 355 CONFIG_MG_DISK=m
 356 CONFIG_MG_DISK_RES=0
 357
 358 #
 359 # Generic fallback / legacy drivers
 360 #
 361 # CONFIG_MULTICORE_RAID456 is not set
 362
 363 #
 364 # Input device support
 365 #
 366 CONFIG_INPUT_FF_MEMLESS=y
 367
 368 #
 369 # Input Device Drivers
 370 #
 371 CONFIG_KEYBOARD_TWL4030=m
 372 CONFIG_MOUSE_GPIO=m
 373 CONFIG_INPUT_TWL4030_PWRBUTTON=y
 374 CONFIG_INPUT_TWL4030_VIBRA=y
 375 CONFIG_INPUT_TWL6040_VIBRA=y
 376 CONFIG_INPUT_DA9055_ONKEY=m
 377
 378 #
 379 # Serial drivers
 380 #
 381 CONFIG_SERIAL_8250_DETECT_IRQ=y
 382
 383 #
 384 # Non-8250 serial port support
 385 #
 386 # CONFIG_SERIAL_AMBA_PL010 is not set
 387 CONFIG_SERIAL_SAMSUNG=y
 388 CONFIG_SERIAL_SAMSUNG_UARTS_4=y
 389 CONFIG_SERIAL_SAMSUNG_UARTS=4
 390 CONFIG_SERIAL_SAMSUNG_DEBUG=y
 391 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
 392 CONFIG_I2C=y
 393
 394 #
 395 # I2C system bus drivers (mostly embedded / system-on-chip)
 396 #
 397 # CONFIG_I2C_NOMADIK is not set
 398 # CONFIG_I2C_S3C2410 is not set
 399
 400 #
 401 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
 402 #
 403 CONFIG_ARCH_REQUIRE_GPIOLIB=y
 404 CONFIG_GPIO_DA9055=m
 405
 406 #
 407 # I2C GPIO expanders:
 408 #
 409 # CONFIG_GPIO_SX150X is not set
 410 CONFIG_GPIO_TWL4030=y
 411 CONFIG_GPIO_TWL6040=m
 412
 413 #
 414 # 1-wire Slaves
 415 #
 416 # CONFIG_CHARGER_TWL4030 is not set
 417 # CONFIG_CHARGER_MANAGER is not set
 418
 419 #
 420 # Native drivers
 421 #
 422 CONFIG_SENSORS_DA9055=m
 423
 424 #
 425 # Watchdog Device Drivers
 426 #
 427 CONFIG_DA9055_WATCHDOG=m
 428 # CONFIG_S3C2410_WATCHDOG is not set
 429 # CONFIG_TWL4030_WATCHDOG is not set
 430
 431 #
 432 # Multifunction device drivers
 433 #
 434 CONFIG_MFD_CORE=y
 435 # CONFIG_MFD_88PM860X is not set
 436 # CONFIG_MFD_88PM800 is not set
 437 # CONFIG_MFD_88PM805 is not set
 438 # CONFIG_HTC_I2CPLD is not set
 439 # CONFIG_MFD_TPS6586X is not set
 440 # CONFIG_MFD_TPS65910 is not set
 441 # CONFIG_MFD_TPS65912_I2C is not set
 442 # CONFIG_MFD_TPS80031 is not set
 443 CONFIG_TWL4030_CORE=y
 444 # CONFIG_TWL4030_MADC is not set
 445 CONFIG_TWL4030_POWER=y
 446 CONFIG_MFD_TWL4030_AUDIO=y
 447 CONFIG_TWL6040_CORE=y
 448 # CONFIG_MFD_STMPE is not set
 449 # CONFIG_MFD_TC3589X is not set
 450 CONFIG_MFD_SMSC=y
 451 # CONFIG_PMIC_DA903X is not set
 452 # CONFIG_MFD_DA9052_I2C is not set
 453 CONFIG_MFD_DA9055=y
 454 # CONFIG_PMIC_ADP5520 is not set
 455 CONFIG_MFD_LP8788=y
 456 # CONFIG_MFD_MAX77686 is not set
 457 # CONFIG_MFD_MAX77693 is not set
 458 CONFIG_MFD_MAX8907=m
 459 # CONFIG_MFD_MAX8925 is not set
 460 # CONFIG_MFD_MAX8997 is not set
 461 # CONFIG_MFD_MAX8998 is not set
 462 # CONFIG_MFD_SEC_CORE is not set
 463 # CONFIG_MFD_WM8400 is not set
 464 # CONFIG_MFD_WM831X_I2C is not set
 465 # CONFIG_MFD_WM8350_I2C is not set
 466 # CONFIG_MFD_WM8994 is not set
 467 CONFIG_MFD_TPS65090=y
 468 # CONFIG_MFD_AAT2870_CORE is not set
 469 # CONFIG_MFD_RC5T583 is not set
 470 # CONFIG_MFD_PALMAS is not set
 471 # CONFIG_MFD_AS3711 is not set
 472 CONFIG_REGULATOR=y
 473 # CONFIG_REGULATOR_DEBUG is not set
 474 # CONFIG_REGULATOR_DUMMY is not set
 475 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 476 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 477 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 478 CONFIG_REGULATOR_GPIO=y
 479 # CONFIG_REGULATOR_AD5398 is not set
 480 # CONFIG_REGULATOR_DA9055 is not set
 481 CONFIG_REGULATOR_FAN53555=m
 482 # CONFIG_REGULATOR_ISL6271A is not set
 483 # CONFIG_REGULATOR_MAX1586 is not set
 484 # CONFIG_REGULATOR_MAX8649 is not set
 485 # CONFIG_REGULATOR_MAX8660 is not set
 486 CONFIG_REGULATOR_MAX8907=m
 487 # CONFIG_REGULATOR_MAX8952 is not set
 488 # CONFIG_REGULATOR_MAX8973 is not set
 489 # CONFIG_REGULATOR_LP3971 is not set
 490 # CONFIG_REGULATOR_LP3972 is not set
 491 CONFIG_REGULATOR_LP872X=y
 492 CONFIG_REGULATOR_LP8788=y
 493 # CONFIG_REGULATOR_TPS51632 is not set
 494 CONFIG_REGULATOR_TPS62360=m
 495 # CONFIG_REGULATOR_TPS65023 is not set
 496 # CONFIG_REGULATOR_TPS6507X is not set
 497 CONFIG_REGULATOR_TPS65090=m
 498 CONFIG_REGULATOR_TWL4030=y
 499
 500 #
 501 # Multimedia core support
 502 #
 503 CONFIG_VIDEO_V4L2=y
 504
 505 #
 506 # Webcam, TV (analog/digital) USB devices
 507 #
 508 # CONFIG_VIDEO_SAMSUNG_S5P_FIMC is not set
 509 CONFIG_VIDEO_SAMSUNG_S5P_TV=y
 510 CONFIG_VIDEO_SAMSUNG_S5P_HDMI=y
 511 # CONFIG_VIDEO_SAMSUNG_S5P_HDMI_DEBUG is not set
 512 CONFIG_VIDEO_SAMSUNG_S5P_HDMIPHY=y
 513 CONFIG_VIDEO_SAMSUNG_S5P_SII9234=m
 514 CONFIG_VIDEO_SAMSUNG_S5P_SDO=m
 515 CONFIG_VIDEO_SAMSUNG_S5P_MIXER=m
 516 # CONFIG_VIDEO_SAMSUNG_S5P_MIXER_DEBUG is not set
 517 # CONFIG_VIDEO_SAMSUNG_S5P_G2D is not set
 518 # CONFIG_VIDEO_SAMSUNG_S5P_JPEG is not set
 519 # CONFIG_VIDEO_SAMSUNG_S5P_MFC is not set
 520
 521 #
 522 # Media ancillary drivers (tuners, sensors, i2c, frontends)
 523 #
 524 CONFIG_VIDEO_IR_I2C=y
 525
 526 #
 527 # I2C encoder or helper chips
 528 #
 529 # CONFIG_DRM_EXYNOS is not set
 530 # CONFIG_VGASTATE is not set
 531 # CONFIG_FB_DDC is not set
 532 CONFIG_FB_CFB_FILLRECT=y
 533 CONFIG_FB_CFB_COPYAREA=y
 534 CONFIG_FB_CFB_IMAGEBLIT=y
 535 # CONFIG_FB_SVGALIB is not set
 536 # CONFIG_FB_BACKLIGHT is not set
 537
 538 #
 539 # Frame buffer hardware drivers
 540 #
 541 CONFIG_FB_S3C=y
 542 # CONFIG_FB_S3C_DEBUG_REGWRITE is not set
 543 # CONFIG_LCD_PLATFORM is not set
 544 # CONFIG_BACKLIGHT_PWM is not set
 545 # CONFIG_BACKLIGHT_PANDORA is not set
 546
 547 #
 548 # Console display driver support
 549 #
 550 # CONFIG_SND_OPL3_LIB_SEQ is not set
 551 # CONFIG_SND_EMU10K1_SEQ is not set
 552 # CONFIG_SND_SOC_SAMSUNG is not set
 553
 554 #
 555 # I2C HID support
 556 #
 557 # CONFIG_USB_ARCH_HAS_XHCI is not set
 558
 559 #
 560 # USB Host Controller Drivers
 561 #
 562 CONFIG_USB_EHCI_S5P=y
 563 CONFIG_USB_OHCI_EXYNOS=y
 564
 565 #
 566 # OTG and related infrastructure
 567 #
 568 CONFIG_USB_GPIO_VBUS=y
 569 CONFIG_MMC=y
 570
 571 #
 572 # MMC/SD/SDIO Card Drivers
 573 #
 574 CONFIG_MMC_BLOCK=y
 575
 576 #
 577 # MMC/SD/SDIO Host Controller Drivers
 578 #
 579 CONFIG_MMC_SDHCI=y
 580 CONFIG_MMC_SDHCI_S3C=y
 581 CONFIG_MMC_SDHCI_S3C_DMA=y
 582
 583 #
 584 # LED drivers
 585 #
 586 CONFIG_LEDS_GPIO=y
 587 CONFIG_LEDS_LP8788=m
 588 # CONFIG_LEDS_REGULATOR is not set
 589
 590 #
 591 # LED Triggers
 592 #
 593 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
 594
 595 #
 596 # I2C RTC drivers
 597 #
 598 CONFIG_RTC_DRV_MAX8907=m
 599 # CONFIG_RTC_DRV_TWL4030 is not set
 600
 601 #
 602 # Platform RTC drivers
 603 #
 604 CONFIG_RTC_DRV_DA9055=m
 605
 606 #
 607 # on-CPU RTC drivers
 608 #
 609 # CONFIG_RTC_DRV_S3C is not set
 610
 611 #
 612 # DMA Clients
 613 #
 614 # CONFIG_VFIO is not set
 615
 616 #
 617 # Hardware Spinlock drivers
 618 #
 619 CONFIG_IOMMU_API=y
 620 CONFIG_EXYNOS_IOMMU=y
 621 # CONFIG_EXYNOS_IOMMU_DEBUG is not set
 622
 623 #
 624 # Rpmsg drivers (EXPERIMENTAL)
 625 #
 626 CONFIG_PWM_SAMSUNG=y
 627 CONFIG_PWM_TWL=m
 628 CONFIG_PWM_TWL_LED=m
 629
 630 #
 631 # File systems
 632 #
 633 CONFIG_DCACHE_WORD_ACCESS=y
 634
 635 #
 636 # Pseudo filesystems
 637 #
 638 # CONFIG_JFFS2_FS is not set
 639
 640 #
 641 # Kernel hacking
 642 #
 643 CONFIG_RCU_CPU_STALL_TIMEOUT=60
 644 # CONFIG_RCU_CPU_STALL_INFO is not set
 645 # CONFIG_DEBUG_PER_CPU_MAPS is not set
 646 CONFIG_DEBUG_USER=y
 647 CONFIG_DEBUG_LL=y
 648 CONFIG_DEBUG_S3C_UART0=y
 649 # CONFIG_DEBUG_S3C_UART1 is not set
 650 # CONFIG_DEBUG_S3C_UART2 is not set
 651 # CONFIG_DEBUG_S3C_UART3 is not set
 652 # CONFIG_DEBUG_LL_UART_NONE is not set
 653 # CONFIG_DEBUG_ICEDCC is not set
 654 # CONFIG_DEBUG_SEMIHOSTING is not set
 655 CONFIG_EARLY_PRINTK=y
 656 CONFIG_OC_ETM=y
 657 # CONFIG_PID_IN_CONTEXTIDR is not set
 658
 659 #
 660 # Non-executable pages
 661 #
 662 CONFIG_PAX_NOEXEC=y
 663 CONFIG_PAX_PAGEEXEC=y
 664 CONFIG_PAX_MPROTECT=y
 665 # CONFIG_PAX_MPROTECT_COMPAT is not set
 666 CONFIG_PAX_ELFRELOCS=y
 667 # CONFIG_PAX_KERNEXEC is not set
 668
 669 #
 670 # Miscellaneous hardening features
 671 #
 672 # CONFIG_PAX_MEMORY_UDEREF is not set
 673 CONFIG_PAX_REFCOUNT=y
 674
 675 #
 676 # Kernel Auditing
 677 #
 678 CONFIG_GRKERNSEC_RWXMAP_LOG=y
 679 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
 680
 681 #
 682 # Crypto core or helper
 683 #
 684 CONFIG_CRYPTO_PCRYPT=m
 685
 686 #
 687 # Library routines
 688 #
 689 CONFIG_CPU_RMAP=y
 690 CONFIG_DDR=y