kernel/config-arm-generic

   1 CONFIG_SWIOTLB=y
   2 CONFIG_IOMMU_HELPER=y
   3 CONFIG_KERNEL_MODE_NEON=y
   4 CONFIG_PGTABLE_LEVELS=2
   5
   6 #
   7 # IRQ subsystem
   8 #
   9 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
  10 CONFIG_HARDIRQS_SW_RESEND=y
  11 CONFIG_HANDLE_DOMAIN_IRQ=y
  12 CONFIG_ARCH_HAS_TICK_BROADCAST=y
  13
  14 #
  15 # Timers subsystem
  16 #
  17 # CONFIG_NO_HZ_IDLE is not set
  18 CONFIG_NO_HZ_FULL=y
  19 # CONFIG_NO_HZ_FULL_ALL is not set
  20 # CONFIG_NO_HZ_FULL_SYSIDLE is not set
  21
  22 #
  23 # CPU/Task time and stats accounting
  24 #
  25 CONFIG_VIRT_CPU_ACCOUNTING=y
  26 CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
  27
  28 #
  29 # RCU Subsystem
  30 #
  31 CONFIG_CONTEXT_TRACKING=y
  32 CONFIG_RCU_USER_QS=y
  33 CONFIG_RCU_NOCB_CPU_NONE=y
  34 # CONFIG_RCU_NOCB_CPU_ALL is not set
  35 CONFIG_GENERIC_SCHED_CLOCK=y
  36 CONFIG_PERF_USE_VMALLOC=y
  37
  38 #
  39 # Kernel Performance Events And Counters
  40 #
  41 CONFIG_CLONE_BACKWARDS=y
  42
  43 #
  44 # Platform selection
  45 #
  46 CONFIG_ARCH_VEXPRESS=y
  47
  48 #
  49 # Bus support
  50 #
  51 CONFIG_PCI_DOMAINS_GENERIC=y
  52 CONFIG_PCI_SYSCALL=y
  53 # CONFIG_PCI_MSI is not set
  54 # CONFIG_PCI_STUB is not set
  55 # CONFIG_PCI_IOV is not set
  56 # CONFIG_PCI_PRI is not set
  57 # CONFIG_PCI_PASID is not set
  58
  59 #
  60 # PCI host controller drivers
  61 #
  62 # CONFIG_PCIE_ECRC is not set
  63 # CONFIG_PCIEAER_INJECT is not set
  64 CONFIG_PCIEASPM_DEFAULT=y
  65 # CONFIG_PCIEASPM_POWERSAVE is not set
  66
  67 #
  68 # ARM errata workarounds via the alternatives framework
  69 #
  70 # CONFIG_CPU_BIG_ENDIAN is not set
  71 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
  72 CONFIG_HW_PERF_EVENTS=y
  73 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
  74
  75 #
  76 # Boot options
  77 #
  78 # CONFIG_CMDLINE_FORCE is not set
  79
  80 #
  81 # Power management options
  82 #
  83 CONFIG_CPU_PM=y
  84
  85 #
  86 # ARM CPU Idle Drivers
  87 #
  88 # CONFIG_ARM_CPUIDLE is not set
  89
  90 #
  91 # CPU Frequency scaling
  92 #
  93 CONFIG_CPU_FREQ_STAT=y
  94 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
  95
  96 #
  97 # CPU frequency scaling drivers
  98 #
  99 CONFIG_ARM_BIG_LITTLE_CPUFREQ=m
 100 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
 101
 102 #
 103 # Classification
 104 #
 105 CONFIG_BPF_JIT=y
 106
 107 #
 108 # Bluetooth device drivers
 109 #
 110 # CONFIG_BT_HCIBTSDIO is not set
 111 # CONFIG_BT_MRVL_SDIO is not set
 112 # CONFIG_RFKILL_REGULATOR is not set
 113 # CONFIG_RFKILL_GPIO is not set
 114
 115 #
 116 # Device Drivers
 117 #
 118 CONFIG_ARM_AMBA=y
 119 CONFIG_TEGRA_AHB=y
 120
 121 #
 122 # Generic Driver Options
 123 #
 124 CONFIG_DMA_CMA=y
 125
 126 #
 127 # Default contiguous memory area size:
 128 #
 129 CONFIG_CMA_SIZE_MBYTES=16
 130 CONFIG_CMA_SIZE_SEL_MBYTES=y
 131 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
 132 # CONFIG_CMA_SIZE_SEL_MIN is not set
 133 # CONFIG_CMA_SIZE_SEL_MAX is not set
 134 CONFIG_CMA_ALIGNMENT=8
 135
 136 #
 137 # Bus devices
 138 #
 139 CONFIG_ARM_CCI=y
 140 CONFIG_ARM_CCI_PMU=y
 141 CONFIG_ARM_CCI400_COMMON=y
 142 CONFIG_ARM_CCI400_PMU=y
 143 CONFIG_ARM_CCI500_PMU=y
 144 # CONFIG_ARM_CCN is not set
 145 CONFIG_VEXPRESS_CONFIG=y
 146 CONFIG_DTC=y
 147 CONFIG_OF_FLATTREE=y
 148 CONFIG_OF_EARLY_FLATTREE=y
 149 CONFIG_OF_RESERVED_MEM=y
 150 # CONFIG_PARPORT is not set
 151
 152 #
 153 # Protocols
 154 #
 155 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
 156 # CONFIG_BLK_CPQ_CISS_DA is not set
 157 # CONFIG_BLK_DEV_DAC960 is not set
 158 # CONFIG_BLK_DEV_UMEM is not set
 159 # CONFIG_BLK_DEV_NVME is not set
 160 # CONFIG_BLK_DEV_SX8 is not set
 161 CONFIG_BLK_DEV_RAM_SIZE=4096
 162 # CONFIG_BLK_DEV_RSXX is not set
 163
 164 #
 165 # Misc devices
 166 #
 167 # CONFIG_SENSORS_LIS3LV02D is not set
 168 # CONFIG_SGI_IOC4 is not set
 169 # CONFIG_HP_ILO is not set
 170 CONFIG_SRAM=y
 171 CONFIG_VEXPRESS_SYSCFG=y
 172
 173 #
 174 # SCSI Transports
 175 #
 176 CONFIG_AIC79XX_RESET_DELAY_MS=5000
 177 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
 178 # CONFIG_SCSI_MVSAS_TASKLET is not set
 179 # CONFIG_SCSI_ADVANSYS is not set
 180 # CONFIG_MEGARAID_NEWGEN is not set
 181
 182 #
 183 # PIO-only SFF controllers
 184 #
 185 # CONFIG_PATA_OF_PLATFORM is not set
 186
 187 #
 188 # IEEE 1394 (FireWire) support
 189 #
 190 CONFIG_MII=y
 191 # CONFIG_ATM_LANAI is not set
 192 # CONFIG_ATM_ENI is not set
 193 # CONFIG_ATM_NICSTAR is not set
 194 # CONFIG_ATM_IDT77252 is not set
 195 # CONFIG_ATM_HE is not set
 196 # CONFIG_ATM_SOLOS is not set
 197
 198 #
 199 # Distributed Switch Architecture drivers
 200 #
 201 CONFIG_AMD8111_ETH=y
 202 # CONFIG_CHELSIO_T1_1G is not set
 203 # CONFIG_DE2104X is not set
 204 # CONFIG_TULIP_MMIO is not set
 205 # CONFIG_TULIP_NAPI is not set
 206 # CONFIG_I40E_VXLAN is not set
 207 # CONFIG_SKGE_GENESIS is not set
 208 # CONFIG_QLCNIC_VXLAN is not set
 209 CONFIG_8139TOO_PIO=y
 210 # CONFIG_8139TOO_8129 is not set
 211 CONFIG_SMC91X=m
 212 # CONFIG_STMMAC_PCI is not set
 213 # CONFIG_VIA_RHINE_MMIO is not set
 214
 215 #
 216 # MII PHY device drivers
 217 #
 218 CONFIG_WIL6210_TRACING=y
 219 # CONFIG_IPW2100_MONITOR is not set
 220 # CONFIG_IPW2200_MONITOR is not set
 221 # CONFIG_IPW2200_QOS is not set
 222
 223 #
 224 # Input Device Drivers
 225 #
 226 # CONFIG_KEYBOARD_ADP5520 is not set
 227 # CONFIG_KEYBOARD_STMPE is not set
 228 # CONFIG_KEYBOARD_CAP11XX is not set
 229 CONFIG_INPUT_MAX77693_HAPTIC=m
 230 # CONFIG_INPUT_MAX8997_HAPTIC is not set
 231 # CONFIG_INPUT_GPIO_BEEPER is not set
 232 # CONFIG_INPUT_TWL4030_PWRBUTTON is not set
 233 # CONFIG_INPUT_TWL4030_VIBRA is not set
 234 # CONFIG_INPUT_TWL6040_VIBRA is not set
 235 # CONFIG_INPUT_PWM_BEEPER is not set
 236
 237 #
 238 # Hardware I/O ports
 239 #
 240 # CONFIG_SERIO_AMBAKMI is not set
 241
 242 #
 243 # Character devices
 244 #
 245 # CONFIG_ROCKETPORT is not set
 246 # CONFIG_CYCLADES is not set
 247 # CONFIG_SYNCLINKMP is not set
 248 # CONFIG_SYNCLINK_GT is not set
 249 # CONFIG_NOZOMI is not set
 250
 251 #
 252 # Serial drivers
 253 #
 254 CONFIG_SERIAL_8250_INGENIC=y
 255
 256 #
 257 # Non-8250 serial port support
 258 #
 259 CONFIG_SERIAL_AMBA_PL010=m
 260 CONFIG_SERIAL_AMBA_PL011=m
 261 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
 262 # CONFIG_SERIAL_JSM is not set
 263 CONFIG_SERIAL_OF_PLATFORM=y
 264 # CONFIG_SERIAL_SCCNXP is not set
 265 # CONFIG_SERIAL_XILINX_PS_UART is not set
 266 # CONFIG_SERIAL_ARC is not set
 267 # CONFIG_SERIAL_RP2 is not set
 268
 269 #
 270 # Multiplexer I2C Chip support
 271 #
 272 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
 273
 274 #
 275 # PC SMBus host controller drivers
 276 #
 277 CONFIG_I2C_ALI1535=m
 278 CONFIG_I2C_ALI1563=m
 279 CONFIG_I2C_ALI15X3=m
 280 CONFIG_I2C_SIS5595=m
 281 CONFIG_I2C_SIS630=m
 282
 283 #
 284 # I2C system bus drivers (mostly embedded / system-on-chip)
 285 #
 286 CONFIG_I2C_VERSATILE=m
 287
 288 #
 289 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
 290 #
 291 CONFIG_ARCH_REQUIRE_GPIOLIB=y
 292
 293 #
 294 # Memory mapped GPIO drivers
 295 #
 296 # CONFIG_GPIO_GRGPIO is not set
 297 CONFIG_GPIO_PL061=y
 298
 299 #
 300 # MFD GPIO expanders
 301 #
 302 # CONFIG_GPIO_TC3589X is not set
 303
 304 #
 305 # USB GPIO expanders
 306 #
 307 # CONFIG_MAX8925_POWER is not set
 308 # CONFIG_WM831X_BACKUP is not set
 309 # CONFIG_WM831X_POWER is not set
 310 # CONFIG_WM8350_POWER is not set
 311 # CONFIG_BATTERY_88PM860X is not set
 312 # CONFIG_BATTERY_DA9030 is not set
 313 # CONFIG_BATTERY_DA9052 is not set
 314 # CONFIG_BATTERY_TWL4030_MADC is not set
 315 # CONFIG_BATTERY_RX51 is not set
 316 # CONFIG_CHARGER_TWL4030 is not set
 317 # CONFIG_CHARGER_MAX8997 is not set
 318 # CONFIG_CHARGER_MAX8998 is not set
 319 CONFIG_POWER_RESET_AS3722=y
 320 CONFIG_POWER_RESET_VEXPRESS=y
 321
 322 #
 323 # Native drivers
 324 #
 325 CONFIG_SENSORS_PWM_FAN=m
 326 CONFIG_SENSORS_VEXPRESS=m
 327
 328 #
 329 # Watchdog Device Drivers
 330 #
 331 CONFIG_ARM_SP805_WATCHDOG=m
 332
 333 #
 334 # PCI-based Watchdog Cards
 335 #
 336 # CONFIG_PCIPCWATCHDOG is not set
 337 # CONFIG_WDTPCI is not set
 338
 339 #
 340 # Multifunction device drivers
 341 #
 342 # CONFIG_LPC_ICH is not set
 343 # CONFIG_MFD_RTSX_PCI is not set
 344
 345 #
 346 # STMicroelectronics STMPE Interface Drivers
 347 #
 348 # CONFIG_MFD_VX855 is not set
 349 CONFIG_MFD_VEXPRESS_SYSREG=y
 350 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 351 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 352 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 353 CONFIG_REGULATOR_PWM=m
 354 CONFIG_REGULATOR_VEXPRESS=m
 355
 356 #
 357 # Multimedia core support
 358 #
 359 # CONFIG_TTPCI_EEPROM is not set
 360
 361 #
 362 # Digital TV USB devices
 363 #
 364 CONFIG_DVB_TTUSB_BUDGET=y
 365 CONFIG_DVB_TTUSB_DEC=y
 366
 367 #
 368 # Media capture/analog/hybrid TV support
 369 #
 370 # CONFIG_VIDEO_CX18 is not set
 371 # CONFIG_VIDEO_CX23885 is not set
 372 # CONFIG_VIDEO_CX25821 is not set
 373 # CONFIG_VIDEO_CX88 is not set
 374 # CONFIG_VIDEO_SAA7134 is not set
 375 # CONFIG_VIDEO_SAA7164 is not set
 376
 377 #
 378 # Media digital TV PCI Adapters
 379 #
 380 # CONFIG_DVB_AV7110 is not set
 381 # CONFIG_DVB_BUDGET_CORE is not set
 382 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
 383 # CONFIG_DVB_PLUTO2 is not set
 384 # CONFIG_DVB_DM1105 is not set
 385 # CONFIG_DVB_PT1 is not set
 386 # CONFIG_MANTIS_CORE is not set
 387 # CONFIG_DVB_NGENE is not set
 388 # CONFIG_VIDEO_CAFE_CCIC is not set
 389
 390 #
 391 # DVB-S (satellite) frontends
 392 #
 393 CONFIG_DVB_STV0299=y
 394 CONFIG_DVB_TDA8083=y
 395
 396 #
 397 # DVB-T (terrestrial) frontends
 398 #
 399 CONFIG_DVB_CX22700=y
 400 CONFIG_DVB_TDA1004X=y
 401
 402 #
 403 # DVB-C (cable) frontends
 404 #
 405 CONFIG_DVB_VES1820=y
 406 CONFIG_DVB_STV0297=y
 407
 408 #
 409 # SEC control devices for DVB-S
 410 #
 411 CONFIG_DVB_LNBP21=y
 412
 413 #
 414 # I2C encoder or helper chips
 415 #
 416 # CONFIG_DRM_I2C_NXP_TDA998X is not set
 417
 418 #
 419 # Frame buffer hardware drivers
 420 #
 421 # CONFIG_FB_ARMCLCD is not set
 422 # CONFIG_LCD_PLATFORM is not set
 423 # CONFIG_BACKLIGHT_PWM is not set
 424 # CONFIG_BACKLIGHT_LM3630A is not set
 425 # CONFIG_BACKLIGHT_LP855X is not set
 426 # CONFIG_BACKLIGHT_LP8788 is not set
 427
 428 #
 429 # Console display driver support
 430 #
 431 CONFIG_SND_DMAENGINE_PCM=m
 432 CONFIG_SND_COMPRESS_OFFLOAD=m
 433 # CONFIG_SND_ALI5451 is not set
 434 # CONFIG_SND_ES1968_INPUT is not set
 435 # CONFIG_SND_MAESTRO3_INPUT is not set
 436
 437 #
 438 # HD-Audio
 439 #
 440 CONFIG_SND_SOC=m
 441 CONFIG_SND_SOC_AC97_BUS=y
 442 CONFIG_SND_SOC_GENERIC_DMAENGINE_PCM=y
 443 CONFIG_SND_ATMEL_SOC=m
 444 CONFIG_SND_DESIGNWARE_I2S=m
 445
 446 #
 447 # Common SoC Audio options for Freescale CPUs:
 448 #
 449 CONFIG_SND_SOC_FSL_ASRC=m
 450 CONFIG_SND_SOC_FSL_SAI=m
 451 CONFIG_SND_SOC_FSL_SSI=m
 452 CONFIG_SND_SOC_FSL_SPDIF=m
 453 CONFIG_SND_SOC_FSL_ESAI=m
 454 CONFIG_SND_SOC_IMX_AUDMUX=m
 455 CONFIG_SND_SOC_QCOM=m
 456 CONFIG_SND_SOC_I2C_AND_SPI=m
 457
 458 #
 459 # CODEC drivers
 460 #
 461 CONFIG_SND_SOC_AC97_CODEC=m
 462 CONFIG_SND_SOC_ADAU1701=m
 463 CONFIG_SND_SOC_AK4554=m
 464 CONFIG_SND_SOC_AK4642=m
 465 CONFIG_SND_SOC_AK5386=m
 466 CONFIG_SND_SOC_ALC5623=m
 467 CONFIG_SND_SOC_CS35L32=m
 468 CONFIG_SND_SOC_CS42L51=m
 469 CONFIG_SND_SOC_CS42L51_I2C=m
 470 CONFIG_SND_SOC_CS42L52=m
 471 CONFIG_SND_SOC_CS42L56=m
 472 CONFIG_SND_SOC_CS42L73=m
 473 CONFIG_SND_SOC_CS4265=m
 474 CONFIG_SND_SOC_CS4270=m
 475 CONFIG_SND_SOC_CS4271=m
 476 CONFIG_SND_SOC_CS4271_I2C=m
 477 CONFIG_SND_SOC_CS42XX8=m
 478 CONFIG_SND_SOC_CS42XX8_I2C=m
 479 CONFIG_SND_SOC_HDMI_CODEC=m
 480 CONFIG_SND_SOC_ES8328=m
 481 CONFIG_SND_SOC_PCM1681=m
 482 CONFIG_SND_SOC_PCM512x=m
 483 CONFIG_SND_SOC_PCM512x_I2C=m
 484 CONFIG_SND_SOC_RT5631=m
 485 # CONFIG_SND_SOC_RT5677_SPI is not set
 486 CONFIG_SND_SOC_SGTL5000=m
 487 CONFIG_SND_SOC_SIGMADSP=m
 488 CONFIG_SND_SOC_SIGMADSP_I2C=m
 489 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
 490 CONFIG_SND_SOC_SPDIF=m
 491 CONFIG_SND_SOC_SSM2602=m
 492 CONFIG_SND_SOC_SSM2602_I2C=m
 493 CONFIG_SND_SOC_SSM4567=m
 494 CONFIG_SND_SOC_STA32X=m
 495 CONFIG_SND_SOC_STA350=m
 496 CONFIG_SND_SOC_TAS2552=m
 497 CONFIG_SND_SOC_TAS5086=m
 498 CONFIG_SND_SOC_TAS571X=m
 499 CONFIG_SND_SOC_TFA9879=m
 500 CONFIG_SND_SOC_TLV320AIC23=m
 501 CONFIG_SND_SOC_TLV320AIC23_I2C=m
 502 CONFIG_SND_SOC_TLV320AIC31XX=m
 503 CONFIG_SND_SOC_TLV320AIC3X=m
 504 CONFIG_SND_SOC_TS3A227E=m
 505 CONFIG_SND_SOC_WM8510=m
 506 CONFIG_SND_SOC_WM8523=m
 507 CONFIG_SND_SOC_WM8580=m
 508 CONFIG_SND_SOC_WM8711=m
 509 CONFIG_SND_SOC_WM8728=m
 510 CONFIG_SND_SOC_WM8731=m
 511 CONFIG_SND_SOC_WM8737=m
 512 CONFIG_SND_SOC_WM8741=m
 513 CONFIG_SND_SOC_WM8750=m
 514 CONFIG_SND_SOC_WM8753=m
 515 CONFIG_SND_SOC_WM8776=m
 516 CONFIG_SND_SOC_WM8804=m
 517 CONFIG_SND_SOC_WM8804_I2C=m
 518 CONFIG_SND_SOC_WM8903=m
 519 CONFIG_SND_SOC_WM8962=m
 520 CONFIG_SND_SOC_WM8978=m
 521 CONFIG_SND_SOC_TPA6130A2=m
 522 CONFIG_SND_SIMPLE_CARD=m
 523
 524 #
 525 # USB Physical Layer drivers
 526 #
 527 CONFIG_USB_ULPI=y
 528 CONFIG_USB_ULPI_VIEWPORT=y
 529
 530 #
 531 # MMC/SD/SDIO Host Controller Drivers
 532 #
 533 CONFIG_MMC_ARMMMCI=m
 534 # CONFIG_MMC_RICOH_MMC is not set
 535 CONFIG_MMC_DW=m
 536 CONFIG_MMC_DW_IDMAC=y
 537 CONFIG_MMC_DW_PLTFM=m
 538 CONFIG_MMC_DW_EXYNOS=m
 539 CONFIG_MMC_DW_K3=m
 540 CONFIG_MMC_DW_PCI=m
 541
 542 #
 543 # LED drivers
 544 #
 545 CONFIG_LEDS_PWM=m
 546
 547 #
 548 # on-CPU RTC drivers
 549 #
 550 CONFIG_RTC_DRV_PL030=m
 551 CONFIG_RTC_DRV_PL031=m
 552
 553 #
 554 # DMA Devices
 555 #
 556 # CONFIG_AMBA_PL08X is not set
 557 # CONFIG_DW_DMAC is not set
 558 # CONFIG_DW_DMAC_PCI is not set
 559 # CONFIG_PL330_DMA is not set
 560
 561 #
 562 # DMA Clients
 563 #
 564 # CONFIG_UIO_AEC is not set
 565 # CONFIG_UIO_SERCOS3 is not set
 566 # CONFIG_UIO_PCI_GENERIC is not set
 567 # CONFIG_UIO_MF624 is not set
 568
 569 #
 570 # Android
 571 #
 572 # CONFIG_COMMON_CLK_XLNX_CLKWZRD is not set
 573
 574 #
 575 # Common Clock Framework
 576 #
 577 CONFIG_COMMON_CLK_WM831X=y
 578 CONFIG_COMMON_CLK_VERSATILE=y
 579 CONFIG_CLK_SP810=y
 580 CONFIG_CLK_VEXPRESS_OSC=y
 581 CONFIG_COMMON_CLK_MAX77686=y
 582 CONFIG_COMMON_CLK_PWM=m
 583
 584 #
 585 # Clock Source drivers
 586 #
 587 CONFIG_CLKSRC_OF=y
 588 CONFIG_CLKSRC_MMIO=y
 589 CONFIG_ARM_ARCH_TIMER=y
 590 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
 591 CONFIG_ARM_TIMER_SP804=y
 592 CONFIG_ARM_MHU=m
 593
 594 #
 595 # Generic IOMMU Pagetable Support
 596 #
 597 CONFIG_IOMMU_IO_PGTABLE=y
 598 CONFIG_IOMMU_IO_PGTABLE_LPAE=y
 599 # CONFIG_IOMMU_IO_PGTABLE_LPAE_SELFTEST is not set
 600
 601 #
 602 # Analog to digital converters
 603 #
 604 # CONFIG_LP8788_ADC is not set
 605 # CONFIG_TWL6030_GPADC is not set
 606
 607 #
 608 # Temperature sensors
 609 #
 610 CONFIG_PWM=y
 611 CONFIG_PWM_SYSFS=y
 612 # CONFIG_PWM_FSL_FTM is not set
 613 # CONFIG_PWM_LP3943 is not set
 614 # CONFIG_PWM_PCA9685 is not set
 615 # CONFIG_PWM_TWL is not set
 616 # CONFIG_PWM_TWL_LED is not set
 617 CONFIG_ARM_GIC=y
 618
 619 #
 620 # Firmware Drivers
 621 #
 622 # CONFIG_FIRMWARE_MEMMAP is not set
 623
 624 #
 625 # RCU Debugging
 626 #
 627 CONFIG_RCU_CPU_STALL_TIMEOUT=21
 628 # CONFIG_FTRACE_SYSCALLS is not set
 629
 630 #
 631 # Runtime Testing
 632 #
 633 # CONFIG_PID_IN_CONTEXTIDR is not set
 634 # CONFIG_CORESIGHT is not set
 635
 636 #
 637 # Security options
 638 #
 639 CONFIG_LSM_MMAP_MIN_ADDR=32768
 640
 641 #
 642 # Crypto core or helper
 643 #
 644 CONFIG_CRYPTO_GF128MUL=m
 645 CONFIG_CRYPTO_ABLK_HELPER=m
 646
 647 #
 648 # Block modes
 649 #
 650 CONFIG_CRYPTO_LRW=m
 651 CONFIG_CRYPTO_XTS=m
 652
 653 #
 654 # Library routines
 655 #
 656 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
 657 CONFIG_AUDIT_GENERIC=y
 658 CONFIG_LIBFDT=y