1 CONFIG_KERNEL_MODE_NEON=y
2 CONFIG_PGTABLE_LEVELS=2
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
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
22 # Kernel Performance Events And Counters
24 CONFIG_GENERIC_IDLE_POLL_SETUP=y
25 CONFIG_CLONE_BACKWARDS=y
30 # CONFIG_ARCH_ALPINE is not set
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
40 CONFIG_PCI_DOMAINS_GENERIC=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
49 # CONFIG_PCI_IOV is not set
50 # CONFIG_PCI_PRI is not set
51 # CONFIG_PCI_PASID is not set
54 # PCI host controller drivers
56 CONFIG_PCI_HOST_COMMON=y
57 CONFIG_PCI_HOST_GENERIC=y
60 # ARM errata workarounds via the alternatives framework
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
72 # CONFIG_CMDLINE_FORCE is not set
75 # Power management options
80 # ARM CPU Idle Drivers
82 # CONFIG_ARM_CPUIDLE is not set
85 # CPU Frequency scaling
87 CONFIG_CPU_FREQ_STAT=y
88 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
91 # CPU frequency scaling drivers
93 CONFIG_ARM_BIG_LITTLE_CPUFREQ=m
94 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
95 CONFIG_ARM_SCPI_CPUFREQ=m
98 # Bluetooth device drivers
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
111 # Generic Driver Options
116 # Default contiguous memory area size:
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
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
137 CONFIG_OF_EARLY_FLATTREE=y
138 CONFIG_OF_RESERVED_MEM=y
139 # CONFIG_PARPORT is not set
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
156 # CONFIG_SENSORS_LIS3LV02D is not set
157 # CONFIG_SGI_IOC4 is not set
158 # CONFIG_HP_ILO is not set
160 CONFIG_VEXPRESS_SYSCFG=y
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
172 # PIO-only SFF controllers
174 # CONFIG_PATA_OF_PLATFORM is not set
177 # IEEE 1394 (FireWire) support
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
188 # Distributed Switch Architecture drivers
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
202 # CONFIG_I40E_VXLAN is not set
203 # CONFIG_SKGE_GENESIS is not set
204 # CONFIG_QLCNIC_VXLAN is not set
206 # CONFIG_8139TOO_8129 is not set
208 # CONFIG_STMMAC_PCI is not set
209 # CONFIG_VIA_RHINE_MMIO is not set
212 # MII PHY device drivers
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
220 # Input Device Drivers
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
236 # CONFIG_SERIO_AMBAKMI is not set
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
250 CONFIG_SERIAL_8250_FSL=y
251 CONFIG_SERIAL_OF_PLATFORM=y
254 # Non-8250 serial port support
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
267 # Multiplexer I2C Chip support
269 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
272 # PC SMBus host controller drivers
281 # I2C system bus drivers (mostly embedded / system-on-chip)
284 CONFIG_I2C_VERSATILE=m
287 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
289 CONFIG_ARCH_REQUIRE_GPIOLIB=y
292 # Memory mapped GPIO drivers
294 # CONFIG_GPIO_GRGPIO is not set
300 # CONFIG_GPIO_TC3589X is not set
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
322 CONFIG_SENSORS_ARM_SCPI=m
323 CONFIG_SENSORS_PWM_FAN=m
324 CONFIG_SENSORS_VEXPRESS=m
327 # Watchdog Device Drivers
329 CONFIG_ARM_SP805_WATCHDOG=m
330 CONFIG_MESON_WATCHDOG=m
333 # PCI-based Watchdog Cards
335 # CONFIG_PCIPCWATCHDOG is not set
336 # CONFIG_WDTPCI is not set
339 # Multifunction device drivers
341 # CONFIG_LPC_ICH is not set
342 # CONFIG_MFD_RTSX_PCI is not set
345 # STMicroelectronics STMPE Interface Drivers
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
356 # Multimedia core support
358 # CONFIG_TTPCI_EEPROM is not set
363 # CONFIG_IR_MESON is not set
366 # Digital TV USB devices
368 CONFIG_DVB_TTUSB_BUDGET=y
369 CONFIG_DVB_TTUSB_DEC=y
372 # Media capture/analog/hybrid TV support
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
382 # Media digital TV PCI Adapters
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
394 # DVB-S (satellite) frontends
400 # DVB-T (terrestrial) frontends
403 CONFIG_DVB_TDA1004X=y
406 # DVB-C (cable) frontends
412 # SEC control devices for DVB-S
417 # I2C encoder or helper chips
419 # CONFIG_DRM_I2C_NXP_TDA998X is not set
422 # CONFIG_DRM_HDLCD_SHOW_UNDERRUN is not set
425 # Frame buffer hardware drivers
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
435 # Console display driver support
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
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
453 # Common SoC Audio options for Freescale CPUs:
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
464 # Allwinner SoC Audio support
466 CONFIG_SND_SUN4I_CODEC=m
467 CONFIG_SND_SUN4I_SPDIF=m
468 CONFIG_SND_SOC_I2C_AND_SPI=m
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
550 # USB Physical Layer drivers
553 CONFIG_USB_ULPI_VIEWPORT=y
556 # MMC/SD/SDIO Host Controller Drivers
559 # CONFIG_MMC_RICOH_MMC is not set
561 CONFIG_MMC_DW_PLTFM=m
562 CONFIG_MMC_DW_EXYNOS=m
574 CONFIG_RTC_DRV_PL030=m
575 CONFIG_RTC_DRV_PL031=m
580 # CONFIG_AMBA_PL08X is not set
581 # CONFIG_PL330_DMA is not set
583 # CONFIG_DW_DMAC is not set
584 # CONFIG_DW_DMAC_PCI is not set
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
595 # Common Clock Framework
597 CONFIG_COMMON_CLK_WM831X=y
598 CONFIG_COMMON_CLK_VERSATILE=y
600 CONFIG_CLK_VEXPRESS_OSC=y
601 CONFIG_COMMON_CLK_MAX77686=y
602 CONFIG_COMMON_CLK_SCPI=m
604 CONFIG_COMMON_CLK_PWM=m
607 # Clock Source drivers
610 CONFIG_CLKSRC_PROBE=y
612 CONFIG_ARM_ARCH_TIMER=y
613 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
614 CONFIG_ARM_TIMER_SP804=y
618 # Generic IOMMU Pagetable Support
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
628 # Extcon Device Drivers
630 CONFIG_ARM_PL172_MPMC=m
633 # Analog to digital converters
635 # CONFIG_LP8788_ADC is not set
636 # CONFIG_TWL6030_GPADC is not set
639 # Temperature sensors
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
650 CONFIG_PARTITION_PERCPU=y
653 # Performance monitor support
661 CONFIG_ARM_SCPI_PROTOCOL=m
662 # CONFIG_FIRMWARE_MEMMAP is not set
667 CONFIG_RCU_CPU_STALL_TIMEOUT=21
668 # CONFIG_FTRACE_SYSCALLS is not set
673 # CONFIG_PID_IN_CONTEXTIDR is not set
674 # CONFIG_CORESIGHT is not set
679 CONFIG_LSM_MMAP_MIN_ADDR=32768
682 # Crypto core or helper
684 CONFIG_CRYPTO_GF128MUL=m
685 CONFIG_CRYPTO_ABLK_HELPER=m
696 CONFIG_AUDIT_GENERIC=y