3 CONFIG_KERNEL_MODE_NEON=y
4 CONFIG_PGTABLE_LEVELS=2
9 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
10 CONFIG_HARDIRQS_SW_RESEND=y
11 CONFIG_IRQ_DOMAIN_HIERARCHY=y
12 CONFIG_HANDLE_DOMAIN_IRQ=y
13 CONFIG_ARCH_HAS_TICK_BROADCAST=y
18 # CONFIG_NO_HZ_IDLE is not set
20 # CONFIG_NO_HZ_FULL_ALL is not set
21 # CONFIG_NO_HZ_FULL_SYSIDLE is not set
24 # CPU/Task time and stats accounting
26 CONFIG_VIRT_CPU_ACCOUNTING=y
27 CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
32 CONFIG_CONTEXT_TRACKING=y
34 # CONFIG_RCU_FAST_NO_HZ is not set
35 CONFIG_RCU_NOCB_CPU_NONE=y
36 # CONFIG_RCU_NOCB_CPU_ALL is not set
37 CONFIG_GENERIC_SCHED_CLOCK=y
38 CONFIG_PERF_USE_VMALLOC=y
41 # Kernel Performance Events And Counters
43 CONFIG_CLONE_BACKWARDS=y
48 CONFIG_ARCH_VEXPRESS=y
53 CONFIG_PCI_DOMAINS_GENERIC=y
55 # CONFIG_PCI_MSI is not set
56 # CONFIG_PCI_STUB is not set
57 # CONFIG_PCI_IOV is not set
58 # CONFIG_PCI_PRI is not set
59 # CONFIG_PCI_PASID is not set
62 # PCI host controller drivers
64 # CONFIG_PCIE_ECRC is not set
65 # CONFIG_PCIEAER_INJECT is not set
66 CONFIG_PCIEASPM_DEFAULT=y
67 # CONFIG_PCIEASPM_POWERSAVE is not set
70 # ARM errata workarounds via the alternatives framework
72 # CONFIG_CPU_BIG_ENDIAN is not set
73 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
74 CONFIG_HW_PERF_EVENTS=y
75 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
80 # CONFIG_CMDLINE_FORCE is not set
83 # Power management options
89 # ARM CPU Idle Drivers
91 # CONFIG_ARM_CPUIDLE is not set
94 # CPU Frequency scaling
96 CONFIG_CPU_FREQ_STAT=y
97 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
100 # CPU frequency scaling drivers
103 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
111 # Bluetooth device drivers
113 # CONFIG_BT_HCIBTSDIO is not set
114 # CONFIG_BT_MRVL_SDIO is not set
115 # CONFIG_RFKILL_REGULATOR is not set
116 # CONFIG_RFKILL_GPIO is not set
125 # Generic Driver Options
130 # Default contiguous memory area size:
132 CONFIG_CMA_SIZE_MBYTES=16
133 CONFIG_CMA_SIZE_SEL_MBYTES=y
134 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
135 # CONFIG_CMA_SIZE_SEL_MIN is not set
136 # CONFIG_CMA_SIZE_SEL_MAX is not set
137 CONFIG_CMA_ALIGNMENT=8
143 CONFIG_ARM_CCI400_COMMON=y
144 CONFIG_ARM_CCI400_PMU=y
145 # CONFIG_ARM_CCN is not set
146 CONFIG_VEXPRESS_CONFIG=y
151 # Device Tree and Open Firmware support
153 # CONFIG_OF_UNITTEST is not set
155 CONFIG_OF_EARLY_FLATTREE=y
157 CONFIG_OF_ADDRESS_PCI=y
163 CONFIG_OF_RESERVED_MEM=y
164 # CONFIG_OF_OVERLAY is not set
165 # CONFIG_PARPORT is not set
170 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
171 # CONFIG_BLK_CPQ_CISS_DA is not set
172 # CONFIG_BLK_DEV_DAC960 is not set
173 # CONFIG_BLK_DEV_UMEM is not set
174 # CONFIG_BLK_DEV_NVME is not set
175 # CONFIG_BLK_DEV_SX8 is not set
176 CONFIG_BLK_DEV_RAM_SIZE=4096
177 # CONFIG_BLK_DEV_RSXX is not set
182 # CONFIG_SENSORS_LIS3LV02D is not set
183 # CONFIG_SGI_IOC4 is not set
184 # CONFIG_HP_ILO is not set
186 CONFIG_VEXPRESS_SYSCFG=y
191 CONFIG_AIC79XX_RESET_DELAY_MS=5000
192 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
193 # CONFIG_SCSI_MVSAS_TASKLET is not set
194 # CONFIG_MEGARAID_NEWGEN is not set
197 # PIO-only SFF controllers
199 # CONFIG_PATA_OF_PLATFORM is not set
202 # IEEE 1394 (FireWire) support
205 # CONFIG_ATM_LANAI is not set
206 # CONFIG_ATM_ENI is not set
207 # CONFIG_ATM_NICSTAR is not set
208 # CONFIG_ATM_IDT77252 is not set
209 # CONFIG_ATM_HE is not set
210 # CONFIG_ATM_SOLOS is not set
213 # Distributed Switch Architecture drivers
216 CONFIG_ARC_EMAC_CORE=m
218 CONFIG_EMAC_ROCKCHIP=m
220 # CONFIG_CHELSIO_T1_1G is not set
221 # CONFIG_DE2104X is not set
222 # CONFIG_TULIP_MMIO is not set
223 # CONFIG_TULIP_NAPI is not set
224 # CONFIG_I40E_VXLAN is not set
225 # CONFIG_SKGE_GENESIS is not set
226 # CONFIG_QLCNIC_VXLAN is not set
228 # CONFIG_8139TOO_8129 is not set
230 # CONFIG_STMMAC_PCI is not set
231 # CONFIG_VIA_RHINE_MMIO is not set
234 # MII PHY device drivers
236 CONFIG_MDIO_BUS_MUX=m
237 CONFIG_MDIO_BUS_MUX_GPIO=m
238 CONFIG_MDIO_BUS_MUX_MMIOREG=m
239 CONFIG_WIL6210_TRACING=y
240 # CONFIG_IPW2100_MONITOR is not set
241 # CONFIG_IPW2200_MONITOR is not set
242 # CONFIG_IPW2200_QOS is not set
245 # Input Device Drivers
247 # CONFIG_KEYBOARD_ADP5520 is not set
248 # CONFIG_KEYBOARD_STMPE is not set
249 CONFIG_KEYBOARD_OMAP4=m
250 # CONFIG_KEYBOARD_TC3589X is not set
251 # CONFIG_KEYBOARD_CAP11XX is not set
252 CONFIG_KEYBOARD_BCM=m
253 CONFIG_INPUT_MAX77693_HAPTIC=m
254 # CONFIG_INPUT_MAX8997_HAPTIC is not set
255 # CONFIG_INPUT_GPIO_BEEPER is not set
256 # CONFIG_INPUT_TWL4030_PWRBUTTON is not set
257 # CONFIG_INPUT_TWL4030_VIBRA is not set
258 # CONFIG_INPUT_TWL6040_VIBRA is not set
259 # CONFIG_INPUT_PWM_BEEPER is not set
264 # CONFIG_SERIO_AMBAKMI is not set
265 CONFIG_SERIO_APBPS2=m
270 # CONFIG_ROCKETPORT is not set
271 # CONFIG_CYCLADES is not set
272 # CONFIG_SYNCLINKMP is not set
273 # CONFIG_SYNCLINK_GT is not set
274 # CONFIG_NOZOMI is not set
277 # Non-8250 serial port support
279 CONFIG_SERIAL_AMBA_PL010=m
280 CONFIG_SERIAL_AMBA_PL011=m
281 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
282 # CONFIG_SERIAL_JSM is not set
283 CONFIG_SERIAL_OF_PLATFORM=y
284 # CONFIG_SERIAL_SCCNXP is not set
285 # CONFIG_SERIAL_XILINX_PS_UART is not set
286 # CONFIG_SERIAL_ARC is not set
287 # CONFIG_SERIAL_RP2 is not set
288 CONFIG_SERIAL_CONEXANT_DIGICOLOR=m
291 # Multiplexer I2C Chip support
293 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
296 # PC SMBus host controller drivers
305 # I2C system bus drivers (mostly embedded / system-on-chip)
308 CONFIG_I2C_VERSATILE=m
311 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
313 CONFIG_ARCH_REQUIRE_GPIOLIB=y
315 CONFIG_GPIO_GENERIC=y
318 # Memory mapped GPIO drivers
320 CONFIG_GPIO_74XX_MMIO=m
322 CONFIG_GPIO_GENERIC_PLATFORM=y
323 # CONFIG_GPIO_GRGPIO is not set
325 # CONFIG_GPIO_SYSCON is not set
335 # CONFIG_GPIO_STMPE is not set
336 # CONFIG_GPIO_TC3589X is not set
341 # CONFIG_MAX8925_POWER is not set
342 # CONFIG_WM831X_BACKUP is not set
343 # CONFIG_WM831X_POWER is not set
344 # CONFIG_WM8350_POWER is not set
345 # CONFIG_BATTERY_88PM860X is not set
346 # CONFIG_BATTERY_DA9030 is not set
347 # CONFIG_BATTERY_DA9052 is not set
348 # CONFIG_BATTERY_TWL4030_MADC is not set
349 # CONFIG_BATTERY_RX51 is not set
350 # CONFIG_CHARGER_TWL4030 is not set
351 # CONFIG_CHARGER_MAX8997 is not set
352 # CONFIG_CHARGER_MAX8998 is not set
353 CONFIG_POWER_RESET_AS3722=y
354 CONFIG_POWER_RESET_GPIO=y
355 CONFIG_POWER_RESET_GPIO_RESTART=y
356 CONFIG_POWER_RESET_LTC2952=y
357 CONFIG_POWER_RESET_VEXPRESS=y
358 CONFIG_POWER_RESET_SYSCON=y
359 CONFIG_POWER_RESET_SYSCON_POWEROFF=y
364 CONFIG_SENSORS_PWM_FAN=m
365 CONFIG_SENSORS_VEXPRESS=m
371 # CONFIG_CPU_THERMAL is not set
372 CONFIG_CLOCK_THERMAL=y
375 # Watchdog Device Drivers
377 CONFIG_GPIO_WATCHDOG=m
378 CONFIG_ARM_SP805_WATCHDOG=m
381 # PCI-based Watchdog Cards
383 # CONFIG_PCIPCWATCHDOG is not set
384 # CONFIG_WDTPCI is not set
387 # Multifunction device drivers
390 CONFIG_MFD_HI6421_PMIC=m
391 # CONFIG_LPC_ICH is not set
392 CONFIG_MFD_MAX77686=y
393 # CONFIG_MFD_RTSX_PCI is not set
398 # STMicroelectronics STMPE Interface Drivers
402 # CONFIG_MFD_VX855 is not set
403 CONFIG_MFD_VEXPRESS_SYSREG=y
404 CONFIG_REGULATOR_FIXED_VOLTAGE=y
405 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
406 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
407 CONFIG_REGULATOR_AS3722=m
408 CONFIG_REGULATOR_HI6421=m
409 CONFIG_REGULATOR_MAX77686=m
410 CONFIG_REGULATOR_MAX77802=m
411 CONFIG_REGULATOR_PWM=m
412 CONFIG_REGULATOR_RK808=m
413 CONFIG_REGULATOR_TPS65218=m
414 CONFIG_REGULATOR_VEXPRESS=m
417 # Multimedia core support
419 # CONFIG_TTPCI_EEPROM is not set
422 # Digital TV USB devices
424 CONFIG_DVB_TTUSB_BUDGET=y
425 CONFIG_DVB_TTUSB_DEC=y
428 # Media capture/analog/hybrid TV support
430 # CONFIG_VIDEO_CX18 is not set
431 # CONFIG_VIDEO_CX23885 is not set
432 # CONFIG_VIDEO_CX25821 is not set
433 # CONFIG_VIDEO_CX88 is not set
434 # CONFIG_VIDEO_SAA7134 is not set
435 # CONFIG_VIDEO_SAA7164 is not set
438 # Media digital TV PCI Adapters
440 # CONFIG_DVB_AV7110 is not set
441 # CONFIG_DVB_BUDGET_CORE is not set
442 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
443 # CONFIG_DVB_PLUTO2 is not set
444 # CONFIG_DVB_DM1105 is not set
445 # CONFIG_DVB_PT1 is not set
446 # CONFIG_MANTIS_CORE is not set
447 # CONFIG_DVB_NGENE is not set
448 # CONFIG_VIDEO_CAFE_CCIC is not set
449 # CONFIG_VIDEO_XILINX is not set
452 # DVB-S (satellite) frontends
458 # DVB-T (terrestrial) frontends
461 CONFIG_DVB_TDA1004X=y
464 # DVB-C (cable) frontends
470 # SEC control devices for DVB-S
475 # I2C encoder or helper chips
477 # CONFIG_DRM_I2C_NXP_TDA998X is not set
480 # CONFIG_DRM_RADEON is not set
481 # CONFIG_DRM_NOUVEAU is not set
486 # CONFIG_DRM_PANEL_SIMPLE is not set
487 # CONFIG_DRM_PANEL_S6E8AA0 is not set
490 # Frame buffer Devices
492 # CONFIG_FB_BACKLIGHT is not set
495 # Frame buffer hardware drivers
497 # CONFIG_FB_ARMCLCD is not set
498 # CONFIG_FB_SSD1307 is not set
499 # CONFIG_LCD_PLATFORM is not set
500 # CONFIG_BACKLIGHT_PWM is not set
501 # CONFIG_BACKLIGHT_LM3630A is not set
502 # CONFIG_BACKLIGHT_LP855X is not set
503 # CONFIG_BACKLIGHT_LP8788 is not set
506 # Console display driver support
508 CONFIG_SND_DMAENGINE_PCM=m
509 CONFIG_SND_COMPRESS_OFFLOAD=m
510 # CONFIG_SND_ALI5451 is not set
511 # CONFIG_SND_ES1968_INPUT is not set
512 # CONFIG_SND_MAESTRO3_INPUT is not set
518 CONFIG_SND_SOC_GENERIC_DMAENGINE_PCM=y
519 CONFIG_SND_ATMEL_SOC=m
520 CONFIG_SND_DESIGNWARE_I2S=m
523 # Common SoC Audio options for Freescale CPUs:
525 CONFIG_SND_SOC_FSL_ASRC=m
526 CONFIG_SND_SOC_FSL_SAI=m
527 CONFIG_SND_SOC_FSL_SSI=m
528 CONFIG_SND_SOC_FSL_SPDIF=m
529 CONFIG_SND_SOC_FSL_ESAI=m
530 CONFIG_SND_SOC_IMX_AUDMUX=m
531 CONFIG_SND_SOC_QCOM=m
532 CONFIG_SND_SOC_I2C_AND_SPI=m
537 CONFIG_SND_SOC_ADAU1701=m
538 CONFIG_SND_SOC_AK4554=m
539 CONFIG_SND_SOC_AK4642=m
540 CONFIG_SND_SOC_AK5386=m
541 CONFIG_SND_SOC_ALC5623=m
542 CONFIG_SND_SOC_CS35L32=m
543 CONFIG_SND_SOC_CS42L51=m
544 CONFIG_SND_SOC_CS42L51_I2C=m
545 CONFIG_SND_SOC_CS42L52=m
546 CONFIG_SND_SOC_CS42L56=m
547 CONFIG_SND_SOC_CS42L73=m
548 CONFIG_SND_SOC_CS4265=m
549 CONFIG_SND_SOC_CS4270=m
550 CONFIG_SND_SOC_CS4271=m
551 CONFIG_SND_SOC_CS4271_I2C=m
552 CONFIG_SND_SOC_CS42XX8=m
553 CONFIG_SND_SOC_CS42XX8_I2C=m
554 CONFIG_SND_SOC_HDMI_CODEC=m
555 CONFIG_SND_SOC_ES8328=m
556 CONFIG_SND_SOC_PCM1681=m
557 CONFIG_SND_SOC_PCM512x=m
558 CONFIG_SND_SOC_PCM512x_I2C=m
559 CONFIG_SND_SOC_RT5631=m
560 # CONFIG_SND_SOC_RT5677_SPI is not set
561 CONFIG_SND_SOC_SGTL5000=m
562 CONFIG_SND_SOC_SIGMADSP=m
563 CONFIG_SND_SOC_SIGMADSP_I2C=m
564 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
565 CONFIG_SND_SOC_SPDIF=m
566 CONFIG_SND_SOC_SSM2602=m
567 CONFIG_SND_SOC_SSM2602_I2C=m
568 CONFIG_SND_SOC_SSM4567=m
569 CONFIG_SND_SOC_STA32X=m
570 CONFIG_SND_SOC_STA350=m
571 CONFIG_SND_SOC_TAS2552=m
572 CONFIG_SND_SOC_TAS5086=m
573 CONFIG_SND_SOC_TFA9879=m
574 CONFIG_SND_SOC_TLV320AIC23=m
575 CONFIG_SND_SOC_TLV320AIC23_I2C=m
576 CONFIG_SND_SOC_TLV320AIC31XX=m
577 CONFIG_SND_SOC_TLV320AIC3X=m
578 CONFIG_SND_SOC_TS3A227E=m
579 CONFIG_SND_SOC_WM8510=m
580 CONFIG_SND_SOC_WM8523=m
581 CONFIG_SND_SOC_WM8580=m
582 CONFIG_SND_SOC_WM8711=m
583 CONFIG_SND_SOC_WM8728=m
584 CONFIG_SND_SOC_WM8731=m
585 CONFIG_SND_SOC_WM8737=m
586 CONFIG_SND_SOC_WM8741=m
587 CONFIG_SND_SOC_WM8750=m
588 CONFIG_SND_SOC_WM8753=m
589 CONFIG_SND_SOC_WM8776=m
590 CONFIG_SND_SOC_WM8804=m
591 CONFIG_SND_SOC_WM8804_I2C=m
592 CONFIG_SND_SOC_WM8903=m
593 CONFIG_SND_SOC_WM8962=m
594 CONFIG_SND_SOC_WM8978=m
595 CONFIG_SND_SOC_TPA6130A2=m
596 CONFIG_SND_SIMPLE_CARD=m
599 # Gadget/Dual-role mode requires USB Gadget support to be enabled
601 CONFIG_USB_CHIPIDEA_OF=m
604 # USB Physical Layer drivers
607 CONFIG_USB_ULPI_VIEWPORT=y
610 # MMC/SD/SDIO Host Controller Drivers
613 # CONFIG_MMC_RICOH_MMC is not set
614 CONFIG_MMC_SDHCI_F_SDH30=m
616 CONFIG_MMC_DW_IDMAC=y
617 CONFIG_MMC_DW_PLTFM=m
618 CONFIG_MMC_DW_EXYNOS=m
628 # LED driver for blink(1) USB RGB LED is under Special HID drivers (HID_THINGM)
635 CONFIG_RTC_DRV_AS3722=m
636 CONFIG_RTC_DRV_HYM8563=m
637 CONFIG_RTC_DRV_MAX77686=m
638 CONFIG_RTC_DRV_RK808=m
639 CONFIG_RTC_DRV_MAX77802=m
644 CONFIG_RTC_DRV_PL030=m
645 CONFIG_RTC_DRV_PL031=m
646 CONFIG_RTC_DRV_SNVS=m
651 # CONFIG_AMBA_PL08X is not set
652 # CONFIG_DW_DMAC is not set
653 # CONFIG_DW_DMAC_PCI is not set
654 # CONFIG_PL330_DMA is not set
661 # CONFIG_UIO_AEC is not set
662 # CONFIG_UIO_SERCOS3 is not set
663 # CONFIG_UIO_PCI_GENERIC is not set
664 # CONFIG_UIO_MF624 is not set
669 # CONFIG_COMMON_CLK_XLNX_CLKWZRD is not set
670 CONFIG_I2O_LCT_NOTIFY_ON_CHANGES=y
671 # CONFIG_I2O_BUS is not set
672 # CONFIG_I2O_BLOCK is not set
673 # CONFIG_I2O_SCSI is not set
674 # CONFIG_I2O_PROC is not set
677 # Common Clock Framework
679 CONFIG_COMMON_CLK_WM831X=y
680 CONFIG_COMMON_CLK_VERSATILE=y
682 CONFIG_CLK_VEXPRESS_OSC=y
683 CONFIG_COMMON_CLK_MAX_GEN=y
684 CONFIG_COMMON_CLK_MAX77686=y
685 CONFIG_COMMON_CLK_MAX77802=m
686 CONFIG_COMMON_CLK_RK808=m
687 CONFIG_COMMON_CLK_SI570=m
688 CONFIG_COMMON_CLK_PWM=m
691 # Clock Source drivers
695 CONFIG_ARM_ARCH_TIMER=y
696 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
700 # Analog to digital converters
702 # CONFIG_LP8788_ADC is not set
703 # CONFIG_TWL6030_GPADC is not set
707 # Digital to analog converters
712 # Temperature sensors
716 # CONFIG_PWM_FSL_FTM is not set
717 # CONFIG_PWM_LP3943 is not set
718 # CONFIG_PWM_PCA9685 is not set
719 # CONFIG_PWM_TWL is not set
720 # CONFIG_PWM_TWL_LED is not set
727 # CONFIG_FIRMWARE_MEMMAP is not set
732 CONFIG_RCU_CPU_STALL_TIMEOUT=21
733 # CONFIG_FTRACE_SYSCALLS is not set
738 # CONFIG_PID_IN_CONTEXTIDR is not set
739 # CONFIG_DEBUG_SET_MODULE_RONX is not set
740 CONFIG_DEBUG_RODATA=y
741 # CONFIG_CORESIGHT is not set
746 CONFIG_LSM_MMAP_MIN_ADDR=32768
749 # Crypto core or helper
751 CONFIG_CRYPTO_GF128MUL=m
752 CONFIG_CRYPTO_ABLK_HELPER=m
763 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
764 CONFIG_AUDIT_GENERIC=y