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