kernel/config-armv7hl-omap

   1 CONFIG_ARCH_HAS_CPUFREQ=y
   2
   3 #
   4 # IRQ subsystem
   5 #
   6 CONFIG_GENERIC_IRQ_CHIP=y
   7 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
   8
   9 #
  10 # RCU Subsystem
  11 #
  12 CONFIG_TREE_RCU=y
  13 CONFIG_RCU_FANOUT=32
  14 CONFIG_RCU_FANOUT_LEAF=16
  15 # CONFIG_RCU_FANOUT_EXACT is not set
  16 CONFIG_RCU_FAST_NO_HZ=y
  17
  18 #
  19 # Kernel Performance Events And Counters
  20 #
  21 CONFIG_USE_GENERIC_SMP_HELPERS=y
  22
  23 #
  24 # IO Schedulers
  25 #
  26 CONFIG_PADATA=y
  27 CONFIG_MUTEX_SPIN_ON_OWNER=y
  28
  29 #
  30 # System Type
  31 #
  32 # CONFIG_ARCH_VERSATILE is not set
  33 CONFIG_ARCH_OMAP=y
  34
  35 #
  36 # TI OMAP Common Features
  37 #
  38 # CONFIG_ARCH_OMAP1 is not set
  39 CONFIG_ARCH_OMAP2PLUS=y
  40
  41 #
  42 # OMAP Feature Selections
  43 #
  44 CONFIG_POWER_AVS_OMAP=y
  45 CONFIG_POWER_AVS_OMAP_CLASS3=y
  46 CONFIG_OMAP_RESET_CLOCKS=y
  47 CONFIG_OMAP_MUX=y
  48 # CONFIG_OMAP_MUX_DEBUG is not set
  49 CONFIG_OMAP_MUX_WARNINGS=y
  50 CONFIG_OMAP_MBOX_FWK=m
  51 CONFIG_OMAP_MBOX_KFIFO_SIZE=256
  52 CONFIG_OMAP_32K_TIMER=y
  53 # CONFIG_OMAP3_L2_AUX_SECURE_SAVE_RESTORE is not set
  54 CONFIG_OMAP_32K_TIMER_HZ=128
  55 CONFIG_OMAP_DM_TIMER=y
  56 CONFIG_OMAP_PM_NOOP=y
  57 CONFIG_MACH_OMAP_GENERIC=y
  58
  59 #
  60 # TI OMAP2/3/4 Specific Features
  61 #
  62 CONFIG_ARCH_OMAP2PLUS_TYPICAL=y
  63 CONFIG_SOC_HAS_OMAP2_SDRC=y
  64 # CONFIG_ARCH_OMAP2 is not set
  65 CONFIG_ARCH_OMAP3=y
  66 CONFIG_ARCH_OMAP4=y
  67 CONFIG_SOC_OMAP5=y
  68 CONFIG_SOC_OMAP3430=y
  69 CONFIG_SOC_TI81XX=y
  70 CONFIG_SOC_AM33XX=y
  71 CONFIG_OMAP_PACKAGE_CBB=y
  72 CONFIG_OMAP_PACKAGE_CUS=y
  73 CONFIG_OMAP_PACKAGE_CBP=y
  74 CONFIG_OMAP_PACKAGE_CBL=y
  75 CONFIG_OMAP_PACKAGE_CBS=y
  76
  77 #
  78 # OMAP Board Type
  79 #
  80
  81 CONFIG_MACH_DEVKIT8000=y
  82 CONFIG_MACH_OMAP_LDP=y
  83 CONFIG_MACH_OMAP3530_LV_SOM=y
  84 CONFIG_MACH_OMAP3_TORPEDO=y
  85 CONFIG_MACH_OVERO=y
  86 CONFIG_MACH_OMAP3EVM=y
  87 CONFIG_MACH_OMAP3517EVM=y
  88 CONFIG_MACH_CRANEBOARD=y
  89 CONFIG_MACH_OMAP3_PANDORA=y
  90 CONFIG_MACH_TOUCHBOOK=y
  91 CONFIG_MACH_OMAP_3430SDP=y
  92 CONFIG_MACH_NOKIA_RM680=y
  93 CONFIG_MACH_NOKIA_RX51=y
  94 CONFIG_MACH_OMAP_ZOOM2=y
  95 CONFIG_MACH_OMAP_ZOOM3=y
  96 CONFIG_MACH_CM_T35=y
  97 CONFIG_MACH_CM_T3517=y
  98 CONFIG_MACH_CM_T3730=y
  99 CONFIG_MACH_IGEP0020=y
 100 CONFIG_MACH_IGEP0030=y
 101 CONFIG_MACH_SBC3530=y
 102 CONFIG_MACH_OMAP_3630SDP=y
 103 CONFIG_MACH_TI8168EVM=y
 104 CONFIG_MACH_TI8148EVM=y
 105 CONFIG_MACH_OMAP_4430SDP=y
 106 CONFIG_MACH_OMAP4_PANDA=y
 107 CONFIG_OMAP3_EMU=y
 108 # CONFIG_OMAP3_SDRC_AC_TIMING is not set
 109 CONFIG_OMAP4_ERRATA_I688=y
 110
 111 #
 112 # Processor Type
 113 #
 114 CONFIG_CPU_V7=y
 115 CONFIG_CPU_32v6K=y
 116 CONFIG_CPU_32v7=y
 117 CONFIG_CPU_ABRT_EV7=y
 118 CONFIG_CPU_PABRT_V7=y
 119 CONFIG_CPU_CACHE_V7=y
 120 CONFIG_CPU_CACHE_VIPT=y
 121 CONFIG_CPU_COPY_V6=y
 122 CONFIG_CPU_TLB_V7=y
 123 CONFIG_CPU_HAS_ASID=y
 124
 125 #
 126 # Processor Features
 127 #
 128 # CONFIG_ARM_LPAE is not set
 129 CONFIG_ARM_THUMBEE=y
 130 CONFIG_SWP_EMULATE=y
 131 # CONFIG_CPU_BPREDICT_DISABLE is not set
 132 CONFIG_OUTER_CACHE=y
 133 CONFIG_OUTER_CACHE_SYNC=y
 134 CONFIG_CACHE_L2X0=y
 135 CONFIG_CACHE_PL310=y
 136 CONFIG_ARM_L1_CACHE_SHIFT_6=y
 137 CONFIG_ARM_L1_CACHE_SHIFT=6
 138 CONFIG_ARM_DMA_MEM_BUFFERABLE=y
 139 CONFIG_ARCH_HAS_BARRIERS=y
 140 CONFIG_CPU_HAS_PMU=y
 141 CONFIG_ARM_ERRATA_430973=y
 142 # CONFIG_ARM_ERRATA_458693 is not set
 143 # CONFIG_ARM_ERRATA_460075 is not set
 144 # CONFIG_ARM_ERRATA_742230 is not set
 145 # CONFIG_ARM_ERRATA_742231 is not set
 146 CONFIG_PL310_ERRATA_588369=y
 147 CONFIG_ARM_ERRATA_720789=y
 148 CONFIG_PL310_ERRATA_727915=y
 149 # CONFIG_ARM_ERRATA_743622 is not set
 150 # CONFIG_ARM_ERRATA_751472 is not set
 151 # CONFIG_PL310_ERRATA_753970 is not set
 152 # CONFIG_ARM_ERRATA_754322 is not set
 153 # CONFIG_ARM_ERRATA_754327 is not set
 154 # CONFIG_ARM_ERRATA_764369 is not set
 155 CONFIG_PL310_ERRATA_769419=y
 156 CONFIG_ARM_GIC=y
 157
 158 #
 159 # Bus support
 160 #
 161 # CONFIG_PCI_SYSCALL is not set
 162 # CONFIG_PCCARD is not set
 163
 164 #
 165 # Kernel Features
 166 #
 167 CONFIG_SMP=y
 168 CONFIG_SMP_ON_UP=y
 169 CONFIG_ARM_CPU_TOPOLOGY=y
 170 CONFIG_SCHED_MC=y
 171 CONFIG_SCHED_SMT=y
 172 # CONFIG_ARM_ARCH_TIMER is not set
 173 CONFIG_NR_CPUS=2
 174 CONFIG_HOTPLUG_CPU=y
 175 CONFIG_LOCAL_TIMERS=y
 176 CONFIG_ARCH_NR_GPIO=512
 177 CONFIG_HZ=128
 178 # CONFIG_THUMB2_KERNEL is not set
 179 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
 180 CONFIG_HW_PERF_EVENTS=y
 181 CONFIG_SPLIT_PTLOCK_CPUS=4
 182
 183 #
 184 # CPU Frequency scaling
 185 #
 186 # CONFIG_CPU_FREQ is not set
 187 CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED=y
 188
 189 #
 190 # At least one emulation must be selected
 191 #
 192 CONFIG_VFPv3=y
 193 CONFIG_NEON=y
 194
 195 #
 196 # Power management options
 197 #
 198 CONFIG_PM_SLEEP_SMP=y
 199 CONFIG_ARCH_HAS_OPP=y
 200 CONFIG_PM_OPP=y
 201
 202 #
 203 # Classification
 204 #
 205 CONFIG_RPS=y
 206 CONFIG_RFS_ACCEL=y
 207 CONFIG_XPS=y
 208
 209 #
 210 # Bluetooth device drivers
 211 #
 212 # CONFIG_RFKILL_REGULATOR is not set
 213
 214 #
 215 # Generic Driver Options
 216 #
 217 CONFIG_REGMAP_I2C=y
 218 CONFIG_MTD=y
 219 CONFIG_MTD_TESTS=m
 220 # CONFIG_MTD_REDBOOT_PARTS is not set
 221 CONFIG_MTD_CMDLINE_PARTS=y
 222 # CONFIG_MTD_AFS_PARTS is not set
 223 CONFIG_MTD_OF_PARTS=y
 224 # CONFIG_MTD_AR7_PARTS is not set
 225
 226 #
 227 # User Modules And Translation Layers
 228 #
 229 CONFIG_MTD_CHAR=y
 230 CONFIG_MTD_BLKDEVS=y
 231 CONFIG_MTD_BLOCK=y
 232 # CONFIG_FTL is not set
 233 # CONFIG_NFTL is not set
 234 # CONFIG_INFTL is not set
 235 # CONFIG_RFD_FTL is not set
 236 # CONFIG_SSFDC is not set
 237 CONFIG_SM_FTL=m
 238 # CONFIG_MTD_OOPS is not set
 239 # CONFIG_MTD_SWAP is not set
 240
 241 #
 242 # RAM/ROM/Flash chip drivers
 243 #
 244 # CONFIG_MTD_CFI is not set
 245 # CONFIG_MTD_JEDECPROBE is not set
 246 CONFIG_MTD_MAP_BANK_WIDTH_1=y
 247 CONFIG_MTD_MAP_BANK_WIDTH_2=y
 248 CONFIG_MTD_MAP_BANK_WIDTH_4=y
 249 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
 250 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
 251 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
 252 CONFIG_MTD_CFI_I1=y
 253 CONFIG_MTD_CFI_I2=y
 254 # CONFIG_MTD_CFI_I4 is not set
 255 # CONFIG_MTD_CFI_I8 is not set
 256 CONFIG_MTD_RAM=m
 257 # CONFIG_MTD_ROM is not set
 258 # CONFIG_MTD_ABSENT is not set
 259
 260 #
 261 # Mapping drivers for chip access
 262 #
 263 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
 264 CONFIG_MTD_PLATRAM=m
 265
 266 #
 267 # Self-contained MTD device drivers
 268 #
 269 CONFIG_MTD_SLRAM=m
 270 CONFIG_MTD_PHRAM=m
 271 # CONFIG_MTD_MTDRAM is not set
 272 # CONFIG_MTD_BLOCK2MTD is not set
 273
 274 #
 275 # Disk-On-Chip Device Drivers
 276 #
 277 # CONFIG_MTD_DOC2000 is not set
 278 # CONFIG_MTD_DOC2001 is not set
 279 # CONFIG_MTD_DOC2001PLUS is not set
 280 # CONFIG_MTD_DOCG3 is not set
 281 CONFIG_MTD_NAND_ECC=y
 282 # CONFIG_MTD_NAND_ECC_SMC is not set
 283 CONFIG_MTD_NAND=y
 284 # CONFIG_MTD_NAND_VERIFY_WRITE is not set
 285 # CONFIG_MTD_NAND_ECC_BCH is not set
 286 # CONFIG_MTD_SM_COMMON is not set
 287 # CONFIG_MTD_NAND_MUSEUM_IDS is not set
 288 # CONFIG_MTD_NAND_GPIO is not set
 289 CONFIG_MTD_NAND_OMAP2=y
 290 # CONFIG_MTD_NAND_OMAP_BCH is not set
 291 CONFIG_MTD_NAND_IDS=y
 292 # CONFIG_MTD_NAND_DISKONCHIP is not set
 293 # CONFIG_MTD_NAND_DOCG4 is not set
 294 # CONFIG_MTD_NAND_NANDSIM is not set
 295 CONFIG_MTD_NAND_PLATFORM=y
 296 # CONFIG_MTD_ALAUDA is not set
 297 CONFIG_MTD_ONENAND=y
 298 # CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
 299 # CONFIG_MTD_ONENAND_GENERIC is not set
 300 CONFIG_MTD_ONENAND_OMAP2=y
 301 # CONFIG_MTD_ONENAND_OTP is not set
 302 CONFIG_MTD_ONENAND_2X_PROGRAM=y
 303 CONFIG_MTD_ONENAND_SIM=m
 304
 305 #
 306 # LPDDR flash memory drivers
 307 #
 308 # CONFIG_MTD_LPDDR is not set
 309 # CONFIG_MTD_UBI is not set
 310
 311 #
 312 # Device Tree and Open Firmware support
 313 #
 314 CONFIG_OF_I2C=y
 315 CONFIG_OF_MTD=y
 316 # CONFIG_PARPORT is not set
 317 CONFIG_BLK_DEV_RAM_SIZE=65536
 318 CONFIG_MG_DISK=m
 319 CONFIG_MG_DISK_RES=0
 320
 321 #
 322 # Generic fallback / legacy drivers
 323 #
 324 # CONFIG_MULTICORE_RAID456 is not set
 325
 326 #
 327 # Distributed Switch Architecture drivers
 328 #
 329 # CONFIG_TI_DAVINCI_EMAC is not set
 330 CONFIG_TI_DAVINCI_MDIO=m
 331 CONFIG_TI_DAVINCI_CPDMA=m
 332 # CONFIG_TI_CPSW is not set
 333
 334 #
 335 # Input device support
 336 #
 337 CONFIG_INPUT_FF_MEMLESS=y
 338
 339 #
 340 # Input Device Drivers
 341 #
 342 # CONFIG_KEYBOARD_OMAP4 is not set
 343 CONFIG_KEYBOARD_TWL4030=m
 344 CONFIG_MOUSE_GPIO=m
 345 CONFIG_INPUT_TWL4030_PWRBUTTON=y
 346 CONFIG_INPUT_TWL4030_VIBRA=y
 347 CONFIG_INPUT_TWL6040_VIBRA=y
 348
 349 #
 350 # Serial drivers
 351 #
 352 CONFIG_SERIAL_8250_DETECT_IRQ=y
 353
 354 #
 355 # Non-8250 serial port support
 356 #
 357 # CONFIG_SERIAL_AMBA_PL010 is not set
 358 CONFIG_SERIAL_OMAP=y
 359 CONFIG_SERIAL_OMAP_CONSOLE=y
 360 CONFIG_VIRTIO_CONSOLE=m
 361 CONFIG_I2C=y
 362
 363 #
 364 # I2C system bus drivers (mostly embedded / system-on-chip)
 365 #
 366 # CONFIG_I2C_NOMADIK is not set
 367 CONFIG_I2C_OMAP=y
 368
 369 #
 370 # PPS support
 371 #
 372 # CONFIG_PPS is not set
 373
 374 #
 375 # Enable Device Drivers -> PPS to see the PTP clock options.
 376 #
 377 CONFIG_ARCH_REQUIRE_GPIOLIB=y
 378
 379 #
 380 # I2C GPIO expanders:
 381 #
 382 # CONFIG_GPIO_SX150X is not set
 383 CONFIG_GPIO_TWL4030=y
 384
 385 #
 386 # 1-wire Bus Masters
 387 #
 388 # CONFIG_HDQ_MASTER_OMAP is not set
 389
 390 #
 391 # 1-wire Slaves
 392 #
 393 # CONFIG_CHARGER_TWL4030 is not set
 394 # CONFIG_CHARGER_MANAGER is not set
 395
 396 #
 397 # Watchdog Device Drivers
 398 #
 399 # CONFIG_MPCORE_WATCHDOG is not set
 400 CONFIG_OMAP_WATCHDOG=y
 401 # CONFIG_TWL4030_WATCHDOG is not set
 402
 403 #
 404 # Multifunction device drivers
 405 #
 406 CONFIG_MFD_CORE=y
 407 # CONFIG_MFD_88PM860X is not set
 408 # CONFIG_MFD_88PM800 is not set
 409 # CONFIG_MFD_88PM805 is not set
 410 # CONFIG_HTC_I2CPLD is not set
 411 # CONFIG_MFD_TPS6586X is not set
 412 # CONFIG_MFD_TPS65910 is not set
 413 # CONFIG_MFD_TPS65912_I2C is not set
 414 CONFIG_TWL4030_CORE=y
 415 # CONFIG_TWL4030_MADC is not set
 416 CONFIG_TWL4030_POWER=y
 417 CONFIG_MFD_TWL4030_AUDIO=y
 418 # CONFIG_TWL6030_PWM is not set
 419 CONFIG_TWL6040_CORE=y
 420 # CONFIG_MFD_STMPE is not set
 421 # CONFIG_MFD_TC3589X is not set
 422 # CONFIG_PMIC_DA903X is not set
 423 # CONFIG_MFD_DA9052_I2C is not set
 424 # CONFIG_PMIC_ADP5520 is not set
 425 # CONFIG_MFD_MAX77686 is not set
 426 # CONFIG_MFD_MAX77693 is not set
 427 # CONFIG_MFD_MAX8925 is not set
 428 # CONFIG_MFD_MAX8997 is not set
 429 # CONFIG_MFD_MAX8998 is not set
 430 # CONFIG_MFD_SEC_CORE is not set
 431 # CONFIG_MFD_WM8400 is not set
 432 # CONFIG_MFD_WM831X_I2C is not set
 433 # CONFIG_MFD_WM8350_I2C is not set
 434 # CONFIG_MFD_WM8994 is not set
 435 CONFIG_MFD_OMAP_USB_HOST=y
 436 CONFIG_MFD_TPS65090=y
 437 # CONFIG_MFD_AAT2870_CORE is not set
 438 # CONFIG_MFD_RC5T583 is not set
 439 # CONFIG_MFD_PALMAS is not set
 440 CONFIG_REGULATOR=y
 441 # CONFIG_REGULATOR_DEBUG is not set
 442 # CONFIG_REGULATOR_DUMMY is not set
 443 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 444 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 445 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 446 CONFIG_REGULATOR_GPIO=y
 447 # CONFIG_REGULATOR_AD5398 is not set
 448 # CONFIG_REGULATOR_ISL6271A is not set
 449 # CONFIG_REGULATOR_MAX1586 is not set
 450 # CONFIG_REGULATOR_MAX8649 is not set
 451 # CONFIG_REGULATOR_MAX8660 is not set
 452 # CONFIG_REGULATOR_MAX8952 is not set
 453 # CONFIG_REGULATOR_LP3971 is not set
 454 # CONFIG_REGULATOR_LP3972 is not set
 455 CONFIG_REGULATOR_LP872X=y
 456 CONFIG_REGULATOR_TPS62360=m
 457 # CONFIG_REGULATOR_TPS65023 is not set
 458 # CONFIG_REGULATOR_TPS6507X is not set
 459 CONFIG_REGULATOR_TPS65090=m
 460 CONFIG_REGULATOR_TWL4030=y
 461
 462 #
 463 # Webcam and/or TV USB devices
 464 #
 465 # CONFIG_VIDEO_VPFE_CAPTURE is not set
 466 CONFIG_VIDEO_OMAP2_VOUT_VRFB=y
 467 CONFIG_VIDEO_OMAP2_VOUT=m
 468 # CONFIG_TTPCI_EEPROM is not set
 469
 470 #
 471 # I2C encoder or helper chips
 472 #
 473 # CONFIG_VGASTATE is not set
 474 # CONFIG_FB_DDC is not set
 475 # CONFIG_FB_SVGALIB is not set
 476 # CONFIG_FB_BACKLIGHT is not set
 477
 478 #
 479 # Frame buffer hardware drivers
 480 #
 481 CONFIG_OMAP2_VRAM=y
 482 CONFIG_OMAP2_VRFB=y
 483 CONFIG_OMAP2_DSS=y
 484 CONFIG_OMAP2_VRAM_SIZE=12
 485 CONFIG_OMAP2_DSS_DEBUG_SUPPORT=y
 486 # CONFIG_OMAP2_DSS_COLLECT_IRQ_STATS is not set
 487 CONFIG_OMAP2_DSS_DPI=y
 488 # CONFIG_OMAP2_DSS_RFBI is not set
 489 CONFIG_OMAP2_DSS_VENC=y
 490 CONFIG_OMAP4_DSS_HDMI=y
 491 # CONFIG_OMAP2_DSS_SDI is not set
 492 # CONFIG_OMAP2_DSS_DSI is not set
 493 CONFIG_OMAP2_DSS_MIN_FCK_PER_PCK=1
 494 CONFIG_OMAP2_DSS_SLEEP_AFTER_VENC_RESET=y
 495 CONFIG_FB_OMAP2=m
 496 CONFIG_FB_OMAP2_DEBUG_SUPPORT=y
 497 CONFIG_FB_OMAP2_NUM_FBS=3
 498
 499 #
 500 # OMAP2/3 Display Device Drivers
 501 #
 502 CONFIG_PANEL_GENERIC_DPI=y
 503 CONFIG_PANEL_TFP410=m
 504 CONFIG_PANEL_SHARP_LS037V7DW01=y
 505 # CONFIG_PANEL_PICODLP is not set
 506 # CONFIG_LCD_PLATFORM is not set
 507 # CONFIG_BACKLIGHT_PANDORA is not set
 508
 509 #
 510 # Console display driver support
 511 #
 512 # CONFIG_SND_OPL3_LIB_SEQ is not set
 513 # CONFIG_SND_EMU10K1_SEQ is not set
 514 # CONFIG_SND_OMAP_SOC is not set
 515
 516 #
 517 # USB HID support
 518 #
 519 # CONFIG_USB_ARCH_HAS_XHCI is not set
 520
 521 #
 522 # USB Host Controller Drivers
 523 #
 524 CONFIG_USB_EHCI_HCD_OMAP=y
 525 CONFIG_USB_OHCI_HCD_OMAP3=y
 526
 527 #
 528 # OTG and related infrastructure
 529 #
 530 CONFIG_USB_GPIO_VBUS=y
 531 CONFIG_TWL4030_USB=y
 532 CONFIG_TWL6030_USB=y
 533 CONFIG_MMC=y
 534
 535 #
 536 # MMC/SD/SDIO Card Drivers
 537 #
 538 CONFIG_MMC_BLOCK=y
 539
 540 #
 541 # MMC/SD/SDIO Host Controller Drivers
 542 #
 543 CONFIG_MMC_SDHCI=y
 544 CONFIG_MMC_OMAP=y
 545 CONFIG_MMC_OMAP_HS=y
 546
 547 #
 548 # LED drivers
 549 #
 550 CONFIG_LEDS_GPIO=y
 551 # CONFIG_LEDS_REGULATOR is not set
 552
 553 #
 554 # LED Triggers
 555 #
 556 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
 557
 558 #
 559 # I2C RTC drivers
 560 #
 561 # CONFIG_RTC_DRV_TWL4030 is not set
 562
 563 #
 564 # DMA Devices
 565 #
 566 CONFIG_DMA_OMAP=y
 567 CONFIG_DMA_VIRTUAL_CHANNELS=m
 568
 569 #
 570 # DMA Clients
 571 #
 572 CONFIG_VIRTIO=m
 573 CONFIG_VIRTIO_RING=m
 574
 575 #
 576 # Microsoft Hyper-V guest support
 577 #
 578 # CONFIG_TIDSPBRIDGE is not set
 579
 580 #
 581 # Speakup console speech
 582 #
 583 CONFIG_DRM_OMAP=m
 584 CONFIG_DRM_OMAP_NUM_CRTCS=1
 585
 586 #
 587 # Android
 588 #
 589 CONFIG_OMAP_BANDGAP=m
 590 CONFIG_OMAP4_THERMAL=y
 591 CONFIG_OMAP5_THERMAL=y
 592 CONFIG_HWSPINLOCK=m
 593
 594 #
 595 # Hardware Spinlock drivers
 596 #
 597 CONFIG_HWSPINLOCK_OMAP=m
 598 # CONFIG_OMAP_IOMMU is not set
 599
 600 #
 601 # Rpmsg drivers (EXPERIMENTAL)
 602 #
 603 CONFIG_TI_EMIF=m
 604
 605 #
 606 # File systems
 607 #
 608 CONFIG_DCACHE_WORD_ACCESS=y
 609
 610 #
 611 # Pseudo filesystems
 612 #
 613 # CONFIG_JFFS2_FS is not set
 614
 615 #
 616 # Kernel hacking
 617 #
 618 CONFIG_RCU_CPU_STALL_TIMEOUT=60
 619 # CONFIG_RCU_CPU_STALL_INFO is not set
 620 # CONFIG_DEBUG_PER_CPU_MAPS is not set
 621 CONFIG_OC_ETM=y
 622 # CONFIG_PID_IN_CONTEXTIDR is not set
 623
 624 #
 625 # Non-executable pages
 626 #
 627 CONFIG_PAX_NOEXEC=y
 628 CONFIG_PAX_PAGEEXEC=y
 629 CONFIG_PAX_MPROTECT=y
 630 # CONFIG_PAX_MPROTECT_COMPAT is not set
 631 CONFIG_PAX_ELFRELOCS=y
 632
 633 #
 634 # Miscellaneous hardening features
 635 #
 636 CONFIG_PAX_REFCOUNT=y
 637
 638 #
 639 # Kernel Auditing
 640 #
 641 CONFIG_GRKERNSEC_RWXMAP_LOG=y
 642 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
 643
 644 #
 645 # Crypto core or helper
 646 #
 647 CONFIG_CRYPTO_PCRYPT=m
 648
 649 #
 650 # Random Number Generation
 651 #
 652 CONFIG_CRYPTO_DEV_OMAP_SHAM=m
 653 CONFIG_CRYPTO_DEV_OMAP_AES=m
 654
 655 #
 656 # Library routines
 657 #
 658 CONFIG_CPU_RMAP=y
 659 CONFIG_DDR=y