kernel/config-arm-generic

   1 CONFIG_SWIOTLB=y
   2 CONFIG_IOMMU_HELPER=y
   3 CONFIG_PGTABLE_LEVELS=2
   4
   5 #
   6 # IRQ subsystem
   7 #
   8 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
   9 CONFIG_HARDIRQS_SW_RESEND=y
  10 CONFIG_HANDLE_DOMAIN_IRQ=y
  11
  12 #
  13 # CPU/Task time and stats accounting
  14 #
  15 CONFIG_VIRT_CPU_ACCOUNTING=y
  16 CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
  17
  18 #
  19 # RCU Subsystem
  20 #
  21 CONFIG_CONTEXT_TRACKING=y
  22 CONFIG_GENERIC_SCHED_CLOCK=y
  23 CONFIG_PERF_USE_VMALLOC=y
  24
  25 #
  26 # Kernel Performance Events And Counters
  27 #
  28 CONFIG_CLONE_BACKWARDS=y
  29
  30 #
  31 # Bus support
  32 #
  33 CONFIG_PCI_SYSCALL=y
  34 # CONFIG_PCI_MSI is not set
  35 # CONFIG_PCI_STUB is not set
  36 # CONFIG_PCI_IOV is not set
  37 # CONFIG_PCI_PRI is not set
  38 # CONFIG_PCI_PASID is not set
  39
  40 #
  41 # PCI host controller drivers
  42 #
  43 # CONFIG_PCIE_ECRC is not set
  44 # CONFIG_PCIEAER_INJECT is not set
  45 CONFIG_PCIEASPM_DEFAULT=y
  46 # CONFIG_PCIEASPM_POWERSAVE is not set
  47
  48 #
  49 # ARM errata workarounds via the alternatives framework
  50 #
  51 # CONFIG_CPU_BIG_ENDIAN is not set
  52 CONFIG_HW_PERF_EVENTS=y
  53 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
  54
  55 #
  56 # Boot options
  57 #
  58 # CONFIG_CMDLINE_FORCE is not set
  59
  60 #
  61 # Power management options
  62 #
  63 CONFIG_PM_OPP=y
  64 CONFIG_CPU_PM=y
  65
  66 #
  67 # ARM CPU Idle Drivers
  68 #
  69 # CONFIG_ARM_CPUIDLE is not set
  70
  71 #
  72 # CPU Frequency scaling
  73 #
  74 CONFIG_CPU_FREQ_STAT=y
  75 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
  76
  77 #
  78 # CPU frequency scaling drivers
  79 #
  80 CONFIG_CPUFREQ_DT=m
  81
  82 #
  83 # Classification
  84 #
  85 CONFIG_BPF_JIT=y
  86
  87 #
  88 # Bluetooth device drivers
  89 #
  90 # CONFIG_BT_HCIBTSDIO is not set
  91 # CONFIG_BT_MRVL_SDIO is not set
  92 # CONFIG_RFKILL_REGULATOR is not set
  93 # CONFIG_RFKILL_GPIO is not set
  94
  95 #
  96 # Generic Driver Options
  97 #
  98 CONFIG_DMA_CMA=y
  99
 100 #
 101 # Default contiguous memory area size:
 102 #
 103 CONFIG_CMA_SIZE_MBYTES=16
 104 CONFIG_CMA_SIZE_SEL_MBYTES=y
 105 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
 106 # CONFIG_CMA_SIZE_SEL_MIN is not set
 107 # CONFIG_CMA_SIZE_SEL_MAX is not set
 108 CONFIG_CMA_ALIGNMENT=8
 109
 110 #
 111 # Bus devices
 112 #
 113 CONFIG_ARM_CCI=y
 114 CONFIG_ARM_CCI400_COMMON=y
 115 CONFIG_ARM_CCI400_PMU=y
 116 # CONFIG_ARM_CCN is not set
 117 CONFIG_VEXPRESS_CONFIG=y
 118 CONFIG_DTC=y
 119 CONFIG_OF=y
 120
 121 #
 122 # Device Tree and Open Firmware support
 123 #
 124 # CONFIG_OF_UNITTEST is not set
 125 CONFIG_OF_FLATTREE=y
 126 CONFIG_OF_EARLY_FLATTREE=y
 127 CONFIG_OF_ADDRESS=y
 128 CONFIG_OF_ADDRESS_PCI=y
 129 CONFIG_OF_IRQ=y
 130 CONFIG_OF_NET=y
 131 CONFIG_OF_MDIO=y
 132 CONFIG_OF_PCI=y
 133 CONFIG_OF_PCI_IRQ=y
 134 CONFIG_OF_RESERVED_MEM=y
 135 # CONFIG_OF_OVERLAY is not set
 136 # CONFIG_PARPORT is not set
 137
 138 #
 139 # Protocols
 140 #
 141 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
 142 # CONFIG_BLK_CPQ_CISS_DA is not set
 143 # CONFIG_BLK_DEV_DAC960 is not set
 144 # CONFIG_BLK_DEV_UMEM is not set
 145 # CONFIG_BLK_DEV_NVME is not set
 146 # CONFIG_BLK_DEV_SX8 is not set
 147 CONFIG_BLK_DEV_RAM_SIZE=4096
 148 # CONFIG_BLK_DEV_RSXX is not set
 149
 150 #
 151 # Misc devices
 152 #
 153 # CONFIG_SENSORS_LIS3LV02D is not set
 154 # CONFIG_SGI_IOC4 is not set
 155 # CONFIG_HP_ILO is not set
 156 CONFIG_SRAM=y
 157 CONFIG_VEXPRESS_SYSCFG=y
 158
 159 #
 160 # SCSI Transports
 161 #
 162 CONFIG_AIC79XX_RESET_DELAY_MS=5000
 163 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
 164 # CONFIG_SCSI_MVSAS_TASKLET is not set
 165 # CONFIG_MEGARAID_NEWGEN is not set
 166
 167 #
 168 # PIO-only SFF controllers
 169 #
 170 # CONFIG_PATA_OF_PLATFORM is not set
 171
 172 #
 173 # IEEE 1394 (FireWire) support
 174 #
 175 CONFIG_MII=y
 176 # CONFIG_ATM_LANAI is not set
 177 # CONFIG_ATM_ENI is not set
 178 # CONFIG_ATM_NICSTAR is not set
 179 # CONFIG_ATM_IDT77252 is not set
 180 # CONFIG_ATM_HE is not set
 181 # CONFIG_ATM_SOLOS is not set
 182
 183 #
 184 # Distributed Switch Architecture drivers
 185 #
 186 CONFIG_AMD8111_ETH=y
 187 CONFIG_ARC_EMAC_CORE=m
 188 CONFIG_ARC_EMAC=m
 189 CONFIG_EMAC_ROCKCHIP=m
 190 CONFIG_SYSTEMPORT=m
 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_I40E_VXLAN is not set
 196 # CONFIG_SKGE_GENESIS is not set
 197 # CONFIG_QLCNIC_VXLAN is not set
 198 CONFIG_8139TOO_PIO=y
 199 # CONFIG_8139TOO_8129 is not set
 200 CONFIG_SMC91X=m
 201 # CONFIG_STMMAC_PCI is not set
 202 # CONFIG_VIA_RHINE_MMIO is not set
 203
 204 #
 205 # MII PHY device drivers
 206 #
 207 CONFIG_MDIO_BUS_MUX=m
 208 CONFIG_MDIO_BUS_MUX_GPIO=m
 209 CONFIG_MDIO_BUS_MUX_MMIOREG=m
 210 CONFIG_WIL6210_TRACING=y
 211 # CONFIG_IPW2100_MONITOR is not set
 212 # CONFIG_IPW2200_MONITOR is not set
 213 # CONFIG_IPW2200_QOS is not set
 214
 215 #
 216 # Input Device Drivers
 217 #
 218 # CONFIG_KEYBOARD_ADP5520 is not set
 219 # CONFIG_KEYBOARD_STMPE is not set
 220 CONFIG_KEYBOARD_OMAP4=m
 221 # CONFIG_KEYBOARD_TC3589X is not set
 222 # CONFIG_KEYBOARD_CAP11XX is not set
 223 CONFIG_KEYBOARD_BCM=m
 224 CONFIG_INPUT_MAX77693_HAPTIC=m
 225 # CONFIG_INPUT_MAX8997_HAPTIC is not set
 226 # CONFIG_INPUT_GPIO_BEEPER is not set
 227 # CONFIG_INPUT_TWL4030_PWRBUTTON is not set
 228 # CONFIG_INPUT_TWL4030_VIBRA is not set
 229 # CONFIG_INPUT_TWL6040_VIBRA is not set
 230 # CONFIG_INPUT_PWM_BEEPER is not set
 231
 232 #
 233 # Hardware I/O ports
 234 #
 235 CONFIG_SERIO_APBPS2=m
 236
 237 #
 238 # Character devices
 239 #
 240 # CONFIG_ROCKETPORT is not set
 241 # CONFIG_CYCLADES is not set
 242 # CONFIG_SYNCLINKMP is not set
 243 # CONFIG_SYNCLINK_GT is not set
 244 # CONFIG_NOZOMI is not set
 245
 246 #
 247 # Non-8250 serial port support
 248 #
 249 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
 250 # CONFIG_SERIAL_JSM is not set
 251 CONFIG_SERIAL_OF_PLATFORM=y
 252 # CONFIG_SERIAL_SCCNXP is not set
 253 # CONFIG_SERIAL_XILINX_PS_UART is not set
 254 # CONFIG_SERIAL_ARC is not set
 255 # CONFIG_SERIAL_RP2 is not set
 256 CONFIG_SERIAL_CONEXANT_DIGICOLOR=m
 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_RK3X=m
 276
 277 #
 278 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
 279 #
 280 CONFIG_ARCH_REQUIRE_GPIOLIB=y
 281 CONFIG_OF_GPIO=y
 282 CONFIG_GPIO_GENERIC=y
 283
 284 #
 285 # Memory mapped GPIO drivers
 286 #
 287 CONFIG_GPIO_74XX_MMIO=m
 288 CONFIG_GPIO_ALTERA=m
 289 CONFIG_GPIO_GENERIC_PLATFORM=y
 290 # CONFIG_GPIO_GRGPIO is not set
 291 # CONFIG_GPIO_SYSCON is not set
 292
 293 #
 294 # I2C GPIO expanders
 295 #
 296 CONFIG_GPIO_ADNP=m
 297
 298 #
 299 # MFD GPIO expanders
 300 #
 301 # CONFIG_GPIO_STMPE is not set
 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_GPIO=y
 321 CONFIG_POWER_RESET_GPIO_RESTART=y
 322 CONFIG_POWER_RESET_LTC2952=y
 323 CONFIG_POWER_RESET_VEXPRESS=y
 324 CONFIG_POWER_RESET_SYSCON=y
 325 CONFIG_POWER_RESET_SYSCON_POWEROFF=y
 326
 327 #
 328 # Native drivers
 329 #
 330 CONFIG_SENSORS_PWM_FAN=m
 331 CONFIG_SENSORS_VEXPRESS=m
 332
 333 #
 334 # ACPI drivers
 335 #
 336 CONFIG_THERMAL_OF=y
 337 # CONFIG_CPU_THERMAL is not set
 338 CONFIG_CLOCK_THERMAL=y
 339
 340 #
 341 # Watchdog Device Drivers
 342 #
 343 CONFIG_GPIO_WATCHDOG=m
 344
 345 #
 346 # PCI-based Watchdog Cards
 347 #
 348 # CONFIG_PCIPCWATCHDOG is not set
 349 # CONFIG_WDTPCI is not set
 350
 351 #
 352 # Multifunction device drivers
 353 #
 354 CONFIG_MFD_AS3722=y
 355 CONFIG_MFD_HI6421_PMIC=m
 356 # CONFIG_LPC_ICH is not set
 357 CONFIG_MFD_MAX77686=y
 358 # CONFIG_MFD_RTSX_PCI is not set
 359 CONFIG_MFD_RK808=m
 360 CONFIG_MFD_STMPE=y
 361
 362 #
 363 # STMicroelectronics STMPE Interface Drivers
 364 #
 365 CONFIG_STMPE_I2C=y
 366 CONFIG_MFD_TC3589X=y
 367 CONFIG_MFD_VEXPRESS_SYSREG=y
 368 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 369 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 370 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 371 CONFIG_REGULATOR_AS3722=m
 372 CONFIG_REGULATOR_HI6421=m
 373 CONFIG_REGULATOR_MAX77686=m
 374 CONFIG_REGULATOR_MAX77802=m
 375 CONFIG_REGULATOR_PWM=m
 376 CONFIG_REGULATOR_RK808=m
 377 CONFIG_REGULATOR_TPS65218=m
 378 CONFIG_REGULATOR_VEXPRESS=m
 379
 380 #
 381 # Multimedia core support
 382 #
 383 # CONFIG_TTPCI_EEPROM is not set
 384
 385 #
 386 # Digital TV USB devices
 387 #
 388 CONFIG_DVB_TTUSB_BUDGET=y
 389 CONFIG_DVB_TTUSB_DEC=y
 390
 391 #
 392 # Media capture/analog/hybrid TV support
 393 #
 394 # CONFIG_VIDEO_CX18 is not set
 395 # CONFIG_VIDEO_CX23885 is not set
 396 # CONFIG_VIDEO_CX25821 is not set
 397 # CONFIG_VIDEO_CX88 is not set
 398 # CONFIG_VIDEO_SAA7134 is not set
 399 # CONFIG_VIDEO_SAA7164 is not set
 400
 401 #
 402 # Media digital TV PCI Adapters
 403 #
 404 # CONFIG_DVB_AV7110 is not set
 405 # CONFIG_DVB_BUDGET_CORE is not set
 406 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
 407 # CONFIG_DVB_PLUTO2 is not set
 408 # CONFIG_DVB_DM1105 is not set
 409 # CONFIG_DVB_PT1 is not set
 410 # CONFIG_MANTIS_CORE is not set
 411 # CONFIG_DVB_NGENE is not set
 412 # CONFIG_VIDEO_XILINX is not set
 413
 414 #
 415 # DVB-S (satellite) frontends
 416 #
 417 CONFIG_DVB_STV0299=y
 418 CONFIG_DVB_TDA8083=y
 419
 420 #
 421 # DVB-T (terrestrial) frontends
 422 #
 423 CONFIG_DVB_CX22700=y
 424 CONFIG_DVB_TDA1004X=y
 425
 426 #
 427 # DVB-C (cable) frontends
 428 #
 429 CONFIG_DVB_VES1820=y
 430 CONFIG_DVB_STV0297=y
 431
 432 #
 433 # SEC control devices for DVB-S
 434 #
 435 CONFIG_DVB_LNBP21=y
 436
 437 #
 438 # I2C encoder or helper chips
 439 #
 440 CONFIG_DRM_PTN3460=m
 441 CONFIG_DRM_PS8622=m
 442 # CONFIG_DRM_RADEON is not set
 443 # CONFIG_DRM_NOUVEAU is not set
 444
 445 #
 446 # Frame buffer Devices
 447 #
 448 # CONFIG_FB_BACKLIGHT is not set
 449
 450 #
 451 # Frame buffer hardware drivers
 452 #
 453 # CONFIG_FB_SSD1307 is not set
 454 # CONFIG_BACKLIGHT_PWM is not set
 455 # CONFIG_BACKLIGHT_LM3630A is not set
 456 # CONFIG_BACKLIGHT_LP855X is not set
 457 # CONFIG_BACKLIGHT_LP8788 is not set
 458
 459 #
 460 # Console display driver support
 461 #
 462 CONFIG_SND_DMAENGINE_PCM=m
 463 CONFIG_SND_COMPRESS_OFFLOAD=m
 464 # CONFIG_SND_ALI5451 is not set
 465
 466 #
 467 # HD-Audio
 468 #
 469 CONFIG_SND_SOC=m
 470 CONFIG_SND_SOC_GENERIC_DMAENGINE_PCM=y
 471 CONFIG_SND_ATMEL_SOC=m
 472 CONFIG_SND_DESIGNWARE_I2S=m
 473
 474 #
 475 # Common SoC Audio options for Freescale CPUs:
 476 #
 477 CONFIG_SND_SOC_FSL_ASRC=m
 478 CONFIG_SND_SOC_FSL_SAI=m
 479 CONFIG_SND_SOC_FSL_SSI=m
 480 CONFIG_SND_SOC_FSL_SPDIF=m
 481 CONFIG_SND_SOC_FSL_ESAI=m
 482 CONFIG_SND_SOC_IMX_AUDMUX=m
 483 CONFIG_SND_SOC_QCOM=m
 484 CONFIG_SND_SOC_I2C_AND_SPI=m
 485
 486 #
 487 # CODEC drivers
 488 #
 489 CONFIG_SND_SOC_ADAU1701=m
 490 CONFIG_SND_SOC_AK4554=m
 491 CONFIG_SND_SOC_AK4642=m
 492 CONFIG_SND_SOC_AK5386=m
 493 CONFIG_SND_SOC_ALC5623=m
 494 CONFIG_SND_SOC_CS35L32=m
 495 CONFIG_SND_SOC_CS42L51=m
 496 CONFIG_SND_SOC_CS42L51_I2C=m
 497 CONFIG_SND_SOC_CS42L52=m
 498 CONFIG_SND_SOC_CS42L56=m
 499 CONFIG_SND_SOC_CS42L73=m
 500 CONFIG_SND_SOC_CS4265=m
 501 CONFIG_SND_SOC_CS4270=m
 502 CONFIG_SND_SOC_CS4271=m
 503 CONFIG_SND_SOC_CS4271_I2C=m
 504 CONFIG_SND_SOC_CS42XX8=m
 505 CONFIG_SND_SOC_CS42XX8_I2C=m
 506 CONFIG_SND_SOC_HDMI_CODEC=m
 507 CONFIG_SND_SOC_ES8328=m
 508 CONFIG_SND_SOC_PCM1681=m
 509 CONFIG_SND_SOC_PCM512x=m
 510 CONFIG_SND_SOC_PCM512x_I2C=m
 511 CONFIG_SND_SOC_RT5631=m
 512 # CONFIG_SND_SOC_RT5677_SPI is not set
 513 CONFIG_SND_SOC_SGTL5000=m
 514 CONFIG_SND_SOC_SIGMADSP=m
 515 CONFIG_SND_SOC_SIGMADSP_I2C=m
 516 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
 517 CONFIG_SND_SOC_SPDIF=m
 518 CONFIG_SND_SOC_SSM2602=m
 519 CONFIG_SND_SOC_SSM2602_I2C=m
 520 CONFIG_SND_SOC_SSM4567=m
 521 CONFIG_SND_SOC_STA32X=m
 522 CONFIG_SND_SOC_STA350=m
 523 CONFIG_SND_SOC_TAS2552=m
 524 CONFIG_SND_SOC_TAS5086=m
 525 CONFIG_SND_SOC_TFA9879=m
 526 CONFIG_SND_SOC_TLV320AIC23=m
 527 CONFIG_SND_SOC_TLV320AIC23_I2C=m
 528 CONFIG_SND_SOC_TLV320AIC31XX=m
 529 CONFIG_SND_SOC_TLV320AIC3X=m
 530 CONFIG_SND_SOC_TS3A227E=m
 531 CONFIG_SND_SOC_WM8510=m
 532 CONFIG_SND_SOC_WM8523=m
 533 CONFIG_SND_SOC_WM8580=m
 534 CONFIG_SND_SOC_WM8711=m
 535 CONFIG_SND_SOC_WM8728=m
 536 CONFIG_SND_SOC_WM8731=m
 537 CONFIG_SND_SOC_WM8737=m
 538 CONFIG_SND_SOC_WM8741=m
 539 CONFIG_SND_SOC_WM8750=m
 540 CONFIG_SND_SOC_WM8753=m
 541 CONFIG_SND_SOC_WM8776=m
 542 CONFIG_SND_SOC_WM8804=m
 543 CONFIG_SND_SOC_WM8804_I2C=m
 544 CONFIG_SND_SOC_WM8903=m
 545 CONFIG_SND_SOC_WM8962=m
 546 CONFIG_SND_SOC_WM8978=m
 547 CONFIG_SND_SOC_TPA6130A2=m
 548 CONFIG_SND_SIMPLE_CARD=m
 549
 550 #
 551 # Gadget/Dual-role mode requires USB Gadget support to be enabled
 552 #
 553 CONFIG_USB_CHIPIDEA_OF=m
 554
 555 #
 556 # USB Physical Layer drivers
 557 #
 558 CONFIG_USB_ULPI=y
 559 CONFIG_USB_ULPI_VIEWPORT=y
 560
 561 #
 562 # MMC/SD/SDIO Host Controller Drivers
 563 #
 564 CONFIG_MMC_SDHCI_F_SDH30=m
 565 CONFIG_MMC_DW=m
 566 CONFIG_MMC_DW_IDMAC=y
 567 CONFIG_MMC_DW_PLTFM=m
 568 CONFIG_MMC_DW_EXYNOS=m
 569 CONFIG_MMC_DW_K3=m
 570 CONFIG_MMC_DW_PCI=m
 571
 572 #
 573 # LED drivers
 574 #
 575 CONFIG_LEDS_PWM=m
 576
 577 #
 578 # LED driver for blink(1) USB RGB LED is under Special HID drivers (HID_THINGM)
 579 #
 580 CONFIG_LEDS_SYSCON=y
 581
 582 #
 583 # I2C RTC drivers
 584 #
 585 CONFIG_RTC_DRV_AS3722=m
 586 CONFIG_RTC_DRV_HYM8563=m
 587 CONFIG_RTC_DRV_MAX77686=m
 588 CONFIG_RTC_DRV_RK808=m
 589 CONFIG_RTC_DRV_MAX77802=m
 590
 591 #
 592 # on-CPU RTC drivers
 593 #
 594 CONFIG_RTC_DRV_SNVS=m
 595
 596 #
 597 # DMA Devices
 598 #
 599 # CONFIG_DW_DMAC is not set
 600 CONFIG_FSL_EDMA=m
 601 CONFIG_DMA_OF=y
 602
 603 #
 604 # Android
 605 #
 606 # CONFIG_COMMON_CLK_XLNX_CLKWZRD is not set
 607 CONFIG_I2O_LCT_NOTIFY_ON_CHANGES=y
 608 # CONFIG_I2O_BUS is not set
 609 # CONFIG_I2O_BLOCK is not set
 610 # CONFIG_I2O_SCSI is not set
 611 # CONFIG_I2O_PROC is not set
 612
 613 #
 614 # Common Clock Framework
 615 #
 616 CONFIG_COMMON_CLK_MAX_GEN=y
 617 CONFIG_COMMON_CLK_MAX77802=m
 618 CONFIG_COMMON_CLK_RK808=m
 619 CONFIG_COMMON_CLK_SI570=m
 620 CONFIG_COMMON_CLK_PWM=m
 621
 622 #
 623 # Clock Source drivers
 624 #
 625 CONFIG_CLKSRC_OF=y
 626 CONFIG_CLKSRC_MMIO=y
 627
 628 #
 629 # Analog to digital converters
 630 #
 631 CONFIG_VF610_ADC=m
 632
 633 #
 634 # Digital to analog converters
 635 #
 636 CONFIG_MAX5821=m
 637
 638 #
 639 # Temperature sensors
 640 #
 641 CONFIG_PWM=y
 642 CONFIG_PWM_SYSFS=y
 643 CONFIG_IRQCHIP=y
 644
 645 #
 646 # Firmware Drivers
 647 #
 648 # CONFIG_FIRMWARE_MEMMAP is not set
 649
 650 #
 651 # RCU Debugging
 652 #
 653 # CONFIG_FTRACE_SYSCALLS is not set
 654
 655 #
 656 # Runtime Testing
 657 #
 658 # CONFIG_DEBUG_SET_MODULE_RONX is not set
 659 CONFIG_DEBUG_RODATA=y
 660 # CONFIG_CORESIGHT is not set
 661
 662 #
 663 # Logging Options
 664 #
 665 CONFIG_LSM_MMAP_MIN_ADDR=32768
 666
 667 #
 668 # Crypto core or helper
 669 #
 670 CONFIG_CRYPTO_GF128MUL=m
 671
 672 #
 673 # Block modes
 674 #
 675 CONFIG_CRYPTO_LRW=m
 676 CONFIG_CRYPTO_XTS=m
 677
 678 #
 679 # Library routines
 680 #
 681 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
 682 CONFIG_AUDIT_GENERIC=y
 683 CONFIG_LIBFDT=y