kernel/config-armv7hl-omap

   1 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
   2 CONFIG_ARCH_HAS_CPUFREQ=y
   3
   4 #
   5 # IRQ subsystem
   6 #
   7 CONFIG_GENERIC_IRQ_CHIP=y
   8
   9 #
  10 # RCU Subsystem
  11 #
  12 CONFIG_TREE_RCU=y
  13 CONFIG_RCU_FANOUT=32
  14 # CONFIG_RCU_FANOUT_EXACT is not set
  15 CONFIG_RCU_FAST_NO_HZ=y
  16
  17 #
  18 # Kernel Performance Events And Counters
  19 #
  20 CONFIG_USE_GENERIC_SMP_HELPERS=y
  21
  22 #
  23 # GCOV-based kernel profiling
  24 #
  25 CONFIG_STOP_MACHINE=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_OMAP=y
  38
  39 #
  40 # TI OMAP Common Features
  41 #
  42 CONFIG_ARCH_OMAP_OTG=y
  43 # CONFIG_ARCH_OMAP1 is not set
  44 CONFIG_ARCH_OMAP2PLUS=y
  45
  46 #
  47 # OMAP Feature Selections
  48 #
  49 CONFIG_OMAP_SMARTREFLEX=y
  50 CONFIG_OMAP_SMARTREFLEX_CLASS3=y
  51 CONFIG_OMAP_RESET_CLOCKS=y
  52 CONFIG_OMAP_MUX=y
  53 # CONFIG_OMAP_MUX_DEBUG is not set
  54 CONFIG_OMAP_MUX_WARNINGS=y
  55 CONFIG_OMAP_MBOX_FWK=m
  56 CONFIG_OMAP_MBOX_KFIFO_SIZE=256
  57 CONFIG_OMAP_32K_TIMER=y
  58 # CONFIG_OMAP3_L2_AUX_SECURE_SAVE_RESTORE is not set
  59 CONFIG_OMAP_32K_TIMER_HZ=128
  60 CONFIG_OMAP_DM_TIMER=y
  61 CONFIG_OMAP_PM_NOOP=y
  62 CONFIG_MACH_OMAP_GENERIC=y
  63
  64 #
  65 # TI OMAP2/3/4 Specific Features
  66 #
  67 CONFIG_ARCH_OMAP2PLUS_TYPICAL=y
  68 # CONFIG_ARCH_OMAP2 is not set
  69 CONFIG_ARCH_OMAP3=y
  70 CONFIG_ARCH_OMAP4=y
  71 CONFIG_SOC_OMAP3430=y
  72 CONFIG_SOC_OMAPTI81XX=y
  73 CONFIG_SOC_OMAPAM33XX=y
  74 CONFIG_OMAP_PACKAGE_CBB=y
  75 CONFIG_OMAP_PACKAGE_CUS=y
  76 CONFIG_OMAP_PACKAGE_CBP=y
  77 CONFIG_OMAP_PACKAGE_CBL=y
  78 CONFIG_OMAP_PACKAGE_CBS=y
  79
  80 #
  81 # OMAP Board Type
  82 #
  83 CONFIG_MACH_OMAP3_BEAGLE=y
  84 CONFIG_MACH_DEVKIT8000=y
  85 CONFIG_MACH_OMAP_LDP=y
  86 CONFIG_MACH_OMAP3530_LV_SOM=y
  87 CONFIG_MACH_OMAP3_TORPEDO=y
  88 CONFIG_MACH_OVERO=y
  89 CONFIG_MACH_OMAP3EVM=y
  90 CONFIG_MACH_OMAP3517EVM=y
  91 CONFIG_MACH_CRANEBOARD=y
  92 CONFIG_MACH_OMAP3_PANDORA=y
  93 CONFIG_MACH_OMAP3_TOUCHBOOK=y
  94 CONFIG_MACH_OMAP_3430SDP=y
  95 CONFIG_MACH_NOKIA_RM680=y
  96 CONFIG_MACH_NOKIA_RX51=y
  97 CONFIG_MACH_OMAP_ZOOM2=y
  98 CONFIG_MACH_OMAP_ZOOM3=y
  99 CONFIG_MACH_CM_T35=y
 100 CONFIG_MACH_CM_T3517=y
 101 CONFIG_MACH_CM_T3730=y
 102 CONFIG_MACH_IGEP0020=y
 103 CONFIG_MACH_IGEP0030=y
 104 CONFIG_MACH_SBC3530=y
 105 CONFIG_MACH_OMAP_3630SDP=y
 106 CONFIG_MACH_TI8168EVM=y
 107 CONFIG_MACH_TI8148EVM=y
 108 CONFIG_MACH_OMAP_4430SDP=y
 109 CONFIG_MACH_OMAP4_PANDA=y
 110 CONFIG_OMAP3_EMU=y
 111 # CONFIG_OMAP3_SDRC_AC_TIMING is not set
 112 CONFIG_OMAP4_ERRATA_I688=y
 113
 114 #
 115 # Processor Type
 116 #
 117 CONFIG_CPU_V7=y
 118 CONFIG_CPU_32v6K=y
 119 CONFIG_CPU_32v7=y
 120 CONFIG_CPU_ABRT_EV7=y
 121 CONFIG_CPU_PABRT_V7=y
 122 CONFIG_CPU_CACHE_V7=y
 123 CONFIG_CPU_CACHE_VIPT=y
 124 CONFIG_CPU_COPY_V6=y
 125 CONFIG_CPU_TLB_V7=y
 126 CONFIG_CPU_HAS_ASID=y
 127
 128 #
 129 # Processor Features
 130 #
 131 # CONFIG_ARM_LPAE is not set
 132 CONFIG_ARM_THUMBEE=y
 133 CONFIG_SWP_EMULATE=y
 134 # CONFIG_CPU_BPREDICT_DISABLE is not set
 135 CONFIG_OUTER_CACHE=y
 136 CONFIG_OUTER_CACHE_SYNC=y
 137 CONFIG_CACHE_L2X0=y
 138 CONFIG_CACHE_PL310=y
 139 CONFIG_ARM_L1_CACHE_SHIFT_6=y
 140 CONFIG_ARM_L1_CACHE_SHIFT=6
 141 CONFIG_ARM_DMA_MEM_BUFFERABLE=y
 142 CONFIG_ARCH_HAS_BARRIERS=y
 143 CONFIG_CPU_HAS_PMU=y
 144 CONFIG_ARM_ERRATA_430973=y
 145 # CONFIG_ARM_ERRATA_458693 is not set
 146 # CONFIG_ARM_ERRATA_460075 is not set
 147 # CONFIG_ARM_ERRATA_742230 is not set
 148 # CONFIG_ARM_ERRATA_742231 is not set
 149 CONFIG_PL310_ERRATA_588369=y
 150 CONFIG_ARM_ERRATA_720789=y
 151 CONFIG_PL310_ERRATA_727915=y
 152 # CONFIG_ARM_ERRATA_743622 is not set
 153 # CONFIG_ARM_ERRATA_751472 is not set
 154 # CONFIG_PL310_ERRATA_753970 is not set
 155 # CONFIG_ARM_ERRATA_754322 is not set
 156 # CONFIG_ARM_ERRATA_754327 is not set
 157 # CONFIG_ARM_ERRATA_764369 is not set
 158 CONFIG_PL310_ERRATA_769419=y
 159 CONFIG_ARM_GIC=y
 160
 161 #
 162 # Bus support
 163 #
 164 # CONFIG_PCI_SYSCALL is not set
 165 # CONFIG_PCCARD is not set
 166
 167 #
 168 # Kernel Features
 169 #
 170 CONFIG_SMP=y
 171 CONFIG_SMP_ON_UP=y
 172 CONFIG_ARM_CPU_TOPOLOGY=y
 173 CONFIG_SCHED_MC=y
 174 CONFIG_SCHED_SMT=y
 175 CONFIG_NR_CPUS=2
 176 CONFIG_HOTPLUG_CPU=y
 177 CONFIG_LOCAL_TIMERS=y
 178 CONFIG_HZ=128
 179 # CONFIG_THUMB2_KERNEL is not set
 180 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
 181 CONFIG_HW_PERF_EVENTS=y
 182 CONFIG_SPLIT_PTLOCK_CPUS=4
 183
 184 #
 185 # CPU Frequency scaling
 186 #
 187 # CONFIG_CPU_FREQ is not set
 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_IDS=y
 291 # CONFIG_MTD_NAND_DISKONCHIP is not set
 292 # CONFIG_MTD_NAND_DOCG4 is not set
 293 # CONFIG_MTD_NAND_NANDSIM is not set
 294 CONFIG_MTD_NAND_PLATFORM=y
 295 # CONFIG_MTD_ALAUDA is not set
 296 CONFIG_MTD_ONENAND=y
 297 # CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
 298 # CONFIG_MTD_ONENAND_GENERIC is not set
 299 CONFIG_MTD_ONENAND_OMAP2=y
 300 # CONFIG_MTD_ONENAND_OTP is not set
 301 CONFIG_MTD_ONENAND_2X_PROGRAM=y
 302 CONFIG_MTD_ONENAND_SIM=m
 303
 304 #
 305 # LPDDR flash memory drivers
 306 #
 307 # CONFIG_MTD_LPDDR is not set
 308 # CONFIG_MTD_UBI is not set
 309
 310 #
 311 # Device Tree and Open Firmware support
 312 #
 313 CONFIG_OF_I2C=y
 314 CONFIG_OF_MTD=y
 315 # CONFIG_PARPORT is not set
 316 CONFIG_BLK_DEV_RAM_SIZE=65536
 317 CONFIG_MG_DISK=m
 318 CONFIG_MG_DISK_RES=0
 319
 320 #
 321 # Generic fallback / legacy drivers
 322 #
 323 # CONFIG_MULTICORE_RAID456 is not set
 324
 325 #
 326 # Distributed Switch Architecture drivers
 327 #
 328 # CONFIG_TI_DAVINCI_EMAC is not set
 329 CONFIG_TI_DAVINCI_MDIO=m
 330 CONFIG_TI_DAVINCI_CPDMA=m
 331 # CONFIG_TI_CPSW is not set
 332
 333 #
 334 # Input device support
 335 #
 336 CONFIG_INPUT_FF_MEMLESS=y
 337
 338 #
 339 # Input Device Drivers
 340 #
 341 # CONFIG_KEYBOARD_OMAP4 is not set
 342 CONFIG_KEYBOARD_TWL4030=m
 343 CONFIG_MOUSE_GPIO=m
 344 CONFIG_INPUT_TWL4030_PWRBUTTON=y
 345 CONFIG_INPUT_TWL4030_VIBRA=y
 346 CONFIG_INPUT_TWL6040_VIBRA=y
 347
 348 #
 349 # Serial drivers
 350 #
 351 CONFIG_SERIAL_8250_DETECT_IRQ=y
 352
 353 #
 354 # Non-8250 serial port support
 355 #
 356 # CONFIG_SERIAL_AMBA_PL010 is not set
 357 CONFIG_SERIAL_OMAP=y
 358 CONFIG_SERIAL_OMAP_CONSOLE=y
 359 CONFIG_VIRTIO_CONSOLE=m
 360 CONFIG_I2C=y
 361
 362 #
 363 # I2C system bus drivers (mostly embedded / system-on-chip)
 364 #
 365 CONFIG_I2C_OMAP=y
 366
 367 #
 368 # Enable Device Drivers -> PPS to see the PTP clock options.
 369 #
 370 CONFIG_ARCH_REQUIRE_GPIOLIB=y
 371
 372 #
 373 # I2C GPIO expanders:
 374 #
 375 # CONFIG_GPIO_SX150X is not set
 376 CONFIG_GPIO_TWL4030=y
 377
 378 #
 379 # 1-wire Bus Masters
 380 #
 381 # CONFIG_HDQ_MASTER_OMAP is not set
 382
 383 #
 384 # 1-wire Slaves
 385 #
 386 # CONFIG_CHARGER_TWL4030 is not set
 387 # CONFIG_CHARGER_MANAGER is not set
 388
 389 #
 390 # Watchdog Device Drivers
 391 #
 392 # CONFIG_MPCORE_WATCHDOG is not set
 393 CONFIG_OMAP_WATCHDOG=y
 394 # CONFIG_TWL4030_WATCHDOG is not set
 395
 396 #
 397 # Multifunction device drivers
 398 #
 399 CONFIG_MFD_CORE=y
 400 # CONFIG_MFD_88PM860X is not set
 401 # CONFIG_HTC_I2CPLD is not set
 402 # CONFIG_MFD_TPS6586X is not set
 403 # CONFIG_MFD_TPS65910 is not set
 404 # CONFIG_MFD_TPS65912_I2C is not set
 405 CONFIG_TWL4030_CORE=y
 406 # CONFIG_TWL4030_MADC is not set
 407 CONFIG_TWL4030_POWER=y
 408 CONFIG_MFD_TWL4030_AUDIO=y
 409 # CONFIG_TWL6030_PWM is not set
 410 CONFIG_TWL6040_CORE=y
 411 # CONFIG_MFD_STMPE is not set
 412 # CONFIG_MFD_TC3589X is not set
 413 # CONFIG_PMIC_DA903X is not set
 414 # CONFIG_MFD_DA9052_I2C is not set
 415 # CONFIG_PMIC_ADP5520 is not set
 416 # CONFIG_MFD_MAX8925 is not set
 417 # CONFIG_MFD_MAX8997 is not set
 418 # CONFIG_MFD_MAX8998 is not set
 419 # CONFIG_MFD_S5M_CORE is not set
 420 # CONFIG_MFD_WM831X_I2C is not set
 421 # CONFIG_MFD_WM8350_I2C is not set
 422 # CONFIG_MFD_WM8994 is not set
 423 CONFIG_MFD_OMAP_USB_HOST=y
 424 CONFIG_MFD_TPS65090=y
 425 # CONFIG_MFD_AAT2870_CORE is not set
 426 # CONFIG_MFD_RC5T583 is not set
 427 CONFIG_REGULATOR=y
 428 # CONFIG_REGULATOR_DEBUG is not set
 429 # CONFIG_REGULATOR_DUMMY is not set
 430 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 431 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 432 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 433 CONFIG_REGULATOR_GPIO=y
 434 # CONFIG_REGULATOR_AD5398 is not set
 435 # CONFIG_REGULATOR_ISL6271A is not set
 436 # CONFIG_REGULATOR_MAX1586 is not set
 437 # CONFIG_REGULATOR_MAX8649 is not set
 438 # CONFIG_REGULATOR_MAX8660 is not set
 439 # CONFIG_REGULATOR_MAX8952 is not set
 440 # CONFIG_REGULATOR_LP3971 is not set
 441 # CONFIG_REGULATOR_LP3972 is not set
 442 CONFIG_REGULATOR_TPS62360=m
 443 # CONFIG_REGULATOR_TPS65023 is not set
 444 # CONFIG_REGULATOR_TPS6507X is not set
 445 CONFIG_REGULATOR_TWL4030=y
 446 # CONFIG_REGULATOR_WM8400 is not set
 447
 448 #
 449 # Miscelaneous helper chips
 450 #
 451 # CONFIG_VIDEO_VPFE_CAPTURE is not set
 452 CONFIG_VIDEO_OMAP2_VOUT_VRFB=y
 453 CONFIG_VIDEO_OMAP2_VOUT=m
 454
 455 #
 456 # Texas Instruments WL128x FM driver (ST based)
 457 #
 458 # CONFIG_TTPCI_EEPROM is not set
 459
 460 #
 461 # I2C encoder or helper chips
 462 #
 463 # CONFIG_VGASTATE is not set
 464 # CONFIG_FB_DDC is not set
 465 # CONFIG_FB_SVGALIB is not set
 466 # CONFIG_FB_BACKLIGHT is not set
 467
 468 #
 469 # Frame buffer hardware drivers
 470 #
 471 CONFIG_OMAP2_VRAM=y
 472 CONFIG_OMAP2_VRFB=y
 473 CONFIG_OMAP2_DSS=y
 474 CONFIG_OMAP2_VRAM_SIZE=12
 475 CONFIG_OMAP2_DSS_DEBUG_SUPPORT=y
 476 # CONFIG_OMAP2_DSS_COLLECT_IRQ_STATS is not set
 477 CONFIG_OMAP2_DSS_DPI=y
 478 # CONFIG_OMAP2_DSS_RFBI is not set
 479 CONFIG_OMAP2_DSS_VENC=y
 480 CONFIG_OMAP4_DSS_HDMI=y
 481 # CONFIG_OMAP2_DSS_SDI is not set
 482 # CONFIG_OMAP2_DSS_DSI is not set
 483 # CONFIG_OMAP2_DSS_FAKE_VSYNC is not set
 484 CONFIG_OMAP2_DSS_MIN_FCK_PER_PCK=1
 485 CONFIG_OMAP2_DSS_SLEEP_AFTER_VENC_RESET=y
 486 CONFIG_FB_OMAP2=m
 487 CONFIG_FB_OMAP2_DEBUG_SUPPORT=y
 488 CONFIG_FB_OMAP2_NUM_FBS=3
 489
 490 #
 491 # OMAP2/3 Display Device Drivers
 492 #
 493 CONFIG_PANEL_GENERIC_DPI=y
 494 # CONFIG_PANEL_DVI is not set
 495 CONFIG_PANEL_SHARP_LS037V7DW01=y
 496 # CONFIG_PANEL_PICODLP is not set
 497 # CONFIG_LCD_PLATFORM is not set
 498 # CONFIG_BACKLIGHT_PANDORA is not set
 499
 500 #
 501 # Console display driver support
 502 #
 503 # CONFIG_SND_OPL3_LIB_SEQ is not set
 504 # CONFIG_SND_EMU10K1_SEQ is not set
 505 # CONFIG_SND_OMAP_SOC is not set
 506
 507 #
 508 # Special HID drivers
 509 #
 510 # CONFIG_USB_ARCH_HAS_XHCI is not set
 511
 512 #
 513 # USB Host Controller Drivers
 514 #
 515 CONFIG_USB_EHCI_HCD_OMAP=y
 516 CONFIG_USB_OHCI_HCD_OMAP3=y
 517
 518 #
 519 # OTG and related infrastructure
 520 #
 521 CONFIG_USB_GPIO_VBUS=y
 522 # CONFIG_ISP1301_OMAP is not set
 523 CONFIG_TWL4030_USB=y
 524 CONFIG_TWL6030_USB=y
 525 CONFIG_MMC=y
 526
 527 #
 528 # MMC/SD/SDIO Card Drivers
 529 #
 530 CONFIG_MMC_BLOCK=y
 531
 532 #
 533 # MMC/SD/SDIO Host Controller Drivers
 534 #
 535 CONFIG_MMC_SDHCI=y
 536 CONFIG_MMC_OMAP=y
 537 CONFIG_MMC_OMAP_HS=y
 538
 539 #
 540 # LED drivers
 541 #
 542 CONFIG_LEDS_GPIO=y
 543 # CONFIG_LEDS_REGULATOR is not set
 544
 545 #
 546 # LED Triggers
 547 #
 548 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
 549
 550 #
 551 # I2C RTC drivers
 552 #
 553 # CONFIG_RTC_DRV_TWL4030 is not set
 554
 555 #
 556 # DMA Clients
 557 #
 558 CONFIG_VIRTIO=m
 559 CONFIG_VIRTIO_RING=m
 560
 561 #
 562 # Microsoft Hyper-V guest support
 563 #
 564 # CONFIG_TIDSPBRIDGE is not set
 565
 566 #
 567 # Speakup console speech
 568 #
 569 CONFIG_DRM_OMAP=m
 570 CONFIG_DRM_OMAP_NUM_CRTCS=1
 571
 572 #
 573 # Android
 574 #
 575 CONFIG_HWSPINLOCK=m
 576
 577 #
 578 # Hardware Spinlock drivers
 579 #
 580 CONFIG_HWSPINLOCK_OMAP=m
 581 # CONFIG_OMAP_IOMMU is not set
 582
 583 #
 584 # Pseudo filesystems
 585 #
 586 # CONFIG_JFFS2_FS is not set
 587
 588 #
 589 # Kernel hacking
 590 #
 591 CONFIG_RCU_CPU_STALL_TIMEOUT=60
 592 # CONFIG_RCU_CPU_STALL_INFO is not set
 593 # CONFIG_DEBUG_PER_CPU_MAPS is not set
 594 # CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
 595 CONFIG_OC_ETM=y
 596
 597 #
 598 # Kernel Auditing
 599 #
 600 CONFIG_GRKERNSEC_RWXMAP_LOG=y
 601 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
 602
 603 #
 604 # Non-executable pages
 605 #
 606 CONFIG_PAX_NOEXEC=y
 607 CONFIG_PAX_PAGEEXEC=y
 608 CONFIG_PAX_MPROTECT=y
 609 # CONFIG_PAX_MPROTECT_COMPAT is not set
 610 CONFIG_PAX_ELFRELOCS=y
 611
 612 #
 613 # Miscellaneous hardening features
 614 #
 615 CONFIG_PAX_REFCOUNT=y
 616
 617 #
 618 # Crypto core or helper
 619 #
 620 CONFIG_CRYPTO_PCRYPT=m
 621
 622 #
 623 # Random Number Generation
 624 #
 625 CONFIG_CRYPTO_DEV_OMAP_SHAM=m
 626 CONFIG_CRYPTO_DEV_OMAP_AES=m
 627
 628 #
 629 # Library routines
 630 #
 631 CONFIG_CPU_RMAP=y