kernel/config-arm-generic

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