5 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
6 CONFIG_HARDIRQS_SW_RESEND=y
7 CONFIG_HANDLE_DOMAIN_IRQ=y
8 CONFIG_GENERIC_IRQ_MULTI_HANDLER=y
9 CONFIG_ARCH_HAS_TICK_BROADCAST=y
14 CONFIG_GENERIC_SCHED_CLOCK=y
17 # Kernel Performance Events And Counters
19 CONFIG_KERNEL_MODE_NEON=y
20 CONFIG_PGTABLE_LEVELS=2
25 # CONFIG_ARCH_ACTIONS is not set
26 # CONFIG_ARCH_ALPINE is not set
27 # CONFIG_ARCH_BCM2835 is not set
29 # CONFIG_ARCH_MVEBU is not set
30 # CONFIG_ARCH_RENESAS is not set
31 # CONFIG_ARCH_UNIPHIER is not set
32 CONFIG_ARCH_VEXPRESS=y
33 # CONFIG_ARCH_ZX is not set
36 # ARM errata workarounds via the alternatives framework
38 # CONFIG_CPU_BIG_ENDIAN is not set
39 CONFIG_HW_PERF_EVENTS=y
40 CONFIG_HARDEN_BRANCH_PREDICTOR=y
45 # CONFIG_CMDLINE_FORCE is not set
48 # Power management options
55 CONFIG_CPU_IDLE_MULTIPLE_DRIVERS=y
56 CONFIG_DT_IDLE_STATES=y
59 # ARM CPU Idle Drivers
64 # CPU frequency scaling drivers
66 CONFIG_ARM_SCPI_CPUFREQ=m
67 CONFIG_ARM_SCMI_CPUFREQ=m
68 CONFIG_QORIQ_CPUFREQ=m
74 # CONFIG_ARM_PSCI_CHECKER is not set
75 CONFIG_ARM_SCMI_PROTOCOL=y
76 CONFIG_ARM_SCMI_POWER_DOMAIN=m
77 CONFIG_ARM_SCPI_PROTOCOL=m
78 CONFIG_ARM_SCPI_POWER_DOMAIN=m
79 # CONFIG_FIRMWARE_MEMMAP is not set
80 # CONFIG_INTEL_STRATIX10_SERVICE is not set
83 # Tegra firmware driver
85 CONFIG_CRYPTO_CHACHA20_NEON=m
86 CONFIG_CRYPTO_NHPOLY1305_NEON=m
89 # General architecture-dependent options
91 CONFIG_GENERIC_IDLE_POLL_SETUP=y
92 CONFIG_CLONE_BACKWARDS=y
97 # CONFIG_RFKILL_GPIO is not set
103 CONFIG_PCI_DOMAINS_GENERIC=y
105 # CONFIG_PCIEAER_INJECT is not set
106 # CONFIG_PCIE_ECRC is not set
107 # CONFIG_PCI_STUB is not set
108 # CONFIG_PCI_IOV is not set
109 # CONFIG_PCI_PRI is not set
110 # CONFIG_PCI_PASID is not set
113 # PCI switch controller drivers
115 # CONFIG_PCCARD is not set
124 # Default contiguous memory area size:
126 CONFIG_CMA_SIZE_MBYTES=16
127 CONFIG_CMA_SIZE_SEL_MBYTES=y
128 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
129 # CONFIG_CMA_SIZE_SEL_MIN is not set
130 # CONFIG_CMA_SIZE_SEL_MAX is not set
131 CONFIG_CMA_ALIGNMENT=8
132 CONFIG_GENERIC_ARCH_TOPOLOGY=y
138 CONFIG_ARM_CCI400_COMMON=y
139 CONFIG_VEXPRESS_CONFIG=y
140 CONFIG_OF_EARLY_FLATTREE=y
141 CONFIG_OF_RESERVED_MEM=y
146 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX 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
155 # CONFIG_SGI_IOC4 is not set
156 # CONFIG_HP_ILO is not set
158 CONFIG_VEXPRESS_SYSCFG=y
159 # CONFIG_PVPANIC is not set
164 CONFIG_AIC79XX_RESET_DELAY_MS=5000
165 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
166 # CONFIG_SCSI_MVSAS_TASKLET is not set
167 # CONFIG_SCSI_ADVANSYS is not set
168 # CONFIG_MEGARAID_NEWGEN is not set
171 # PIO-only SFF controllers
173 # CONFIG_PATA_OF_PLATFORM is not set
176 # IEEE 1394 (FireWire) support
179 # CONFIG_ATM_LANAI is not set
180 # CONFIG_ATM_ENI is not set
181 # CONFIG_ATM_NICSTAR is not set
182 # CONFIG_ATM_IDT77252 is not set
183 # CONFIG_ATM_HE is not set
184 # CONFIG_ATM_SOLOS is not set
187 # Distributed Switch Architecture drivers
190 # CONFIG_CHELSIO_T1_1G is not set
191 # CONFIG_DE2104X is not set
192 # CONFIG_TULIP_MMIO is not set
193 # CONFIG_TULIP_NAPI is not set
194 CONFIG_NET_VENDOR_HISILICON=y
195 CONFIG_HIX5HD2_GMAC=m
204 CONFIG_HNS3_HCLGEVF=m
205 # CONFIG_SKGE_GENESIS is not set
207 # CONFIG_8139TOO_8129 is not set
210 # CONFIG_STMMAC_PCI is not set
211 # CONFIG_VIA_RHINE_MMIO is not set
214 # MII PHY device drivers
216 CONFIG_MESON_GXL_PHY=m
217 CONFIG_WIL6210_TRACING=y
218 # CONFIG_IPW2100_MONITOR is not set
219 # CONFIG_IPW2200_MONITOR is not set
220 # CONFIG_IPW2200_QOS is not set
223 # Input Device Drivers
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 # CONFIG_INPUT_PWM_VIBRA is not set
237 # CONFIG_SERIO_AMBAKMI is not set
242 # CONFIG_ROCKETPORT is not set
243 # CONFIG_CYCLADES is not set
244 # CONFIG_SYNCLINKMP is not set
245 # CONFIG_SYNCLINK_GT is not set
246 # CONFIG_NOZOMI is not set
251 CONFIG_SERIAL_8250_FSL=y
252 CONFIG_SERIAL_OF_PLATFORM=y
255 # Non-8250 serial port support
257 CONFIG_SERIAL_AMBA_PL010=m
258 CONFIG_SERIAL_AMBA_PL011=m
259 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
260 CONFIG_SERIAL_MESON=m
261 # CONFIG_SERIAL_JSM is not set
262 # CONFIG_SERIAL_SCCNXP is not set
263 # CONFIG_SERIAL_XILINX_PS_UART is not set
264 # CONFIG_SERIAL_ARC is not set
265 # CONFIG_SERIAL_RP2 is not set
266 CONFIG_HW_RANDOM_MESON=y
269 # Multiplexer I2C Chip support
271 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
274 # PC SMBus host controller drivers
283 # I2C system bus drivers (mostly embedded / system-on-chip)
286 CONFIG_I2C_VERSATILE=m
289 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
291 CONFIG_PINCTRL_MESON=y
292 CONFIG_PINCTRL_MESON8_PMX=y
295 # Memory mapped GPIO drivers
297 # CONFIG_GPIO_GRGPIO is not set
303 # CONFIG_GPIO_TC3589X is not set
308 CONFIG_POWER_RESET_BRCMSTB=y
309 CONFIG_POWER_RESET_VEXPRESS=y
310 # CONFIG_MAX8925_POWER is not set
311 # CONFIG_WM831X_BACKUP is not set
312 # CONFIG_WM831X_POWER is not set
313 # CONFIG_WM8350_POWER is not set
314 # CONFIG_BATTERY_88PM860X is not set
315 # CONFIG_BATTERY_DA9030 is not set
316 # CONFIG_BATTERY_DA9052 is not set
317 # CONFIG_CHARGER_TWL4030 is not set
318 # CONFIG_CHARGER_MAX8997 is not set
319 # CONFIG_CHARGER_MAX8998 is not set
324 CONFIG_SENSORS_ARM_SCMI=m
325 CONFIG_SENSORS_ARM_SCPI=m
326 CONFIG_SENSORS_PWM_FAN=m
327 CONFIG_SENSORS_VEXPRESS=m
330 # Watchdog Device Drivers
332 CONFIG_ARM_SP805_WATCHDOG=m
333 CONFIG_MESON_GXBB_WATCHDOG=m
334 CONFIG_MESON_WATCHDOG=m
337 # PCI-based Watchdog Cards
339 # CONFIG_PCIPCWATCHDOG is not set
340 # CONFIG_WDTPCI is not set
343 # Multifunction device drivers
345 # CONFIG_LPC_ICH is not set
348 # STMicroelectronics STMPE Interface Drivers
350 # CONFIG_MFD_VX855 is not set
351 CONFIG_MFD_VEXPRESS_SYSREG=y
352 CONFIG_REGULATOR_FIXED_VOLTAGE=y
353 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
354 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
355 CONFIG_REGULATOR_PWM=m
356 CONFIG_REGULATOR_VEXPRESS=m
357 # CONFIG_IR_MESON is not set
360 # Digital TV USB devices
362 CONFIG_DVB_TTUSB_BUDGET=y
363 CONFIG_DVB_TTUSB_DEC=y
366 # Media capture/analog/hybrid TV support
368 # CONFIG_VIDEO_CX18 is not set
369 # CONFIG_VIDEO_CX23885 is not set
370 # CONFIG_VIDEO_CX25821 is not set
371 # CONFIG_VIDEO_CX88 is not set
372 # CONFIG_VIDEO_SAA7134 is not set
373 # CONFIG_VIDEO_SAA7164 is not set
376 # Media digital TV PCI Adapters
378 # CONFIG_DVB_AV7110 is not set
379 # CONFIG_DVB_BUDGET_CORE is not set
380 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
381 # CONFIG_DVB_PLUTO2 is not set
382 # CONFIG_DVB_DM1105 is not set
383 # CONFIG_DVB_PT1 is not set
384 # CONFIG_MANTIS_CORE is not set
385 # CONFIG_DVB_NGENE is not set
388 # DVB-S (satellite) frontends
394 # DVB-T (terrestrial) frontends
397 CONFIG_DVB_TDA1004X=y
400 # DVB-C (cable) frontends
406 # SEC control devices for DVB-S
411 # I2C encoder or helper chips
413 # CONFIG_DRM_I2C_NXP_TDA998X is not set
416 # CONFIG_DRM_HDLCD_SHOW_UNDERRUN is not set
417 CONFIG_DRM_MALI_DISPLAY=m
420 # Display Interface Bridges
422 CONFIG_DRM_DW_HDMI_I2S_AUDIO=m
424 CONFIG_DRM_MESON_DW_HDMI=m
428 # Frame buffer hardware drivers
430 # CONFIG_FB_ARMCLCD is not set
431 # CONFIG_LCD_PLATFORM is not set
432 # CONFIG_BACKLIGHT_PWM is not set
433 # CONFIG_BACKLIGHT_LM3630A is not set
434 # CONFIG_BACKLIGHT_LP855X is not set
435 # CONFIG_BACKLIGHT_LP8788 is not set
438 # Console display driver support
440 CONFIG_SND_DMAENGINE_PCM=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_SOC_AMD_CZ_DA7219MX98357_MACH=m
450 CONFIG_SND_SOC_AMD_CZ_RT5645_MACH=m
451 CONFIG_SND_ATMEL_SOC=m
452 CONFIG_SND_SOC_MIKROE_PROTO=m
453 CONFIG_SND_DESIGNWARE_I2S=m
456 # Common SoC Audio options for Freescale CPUs:
458 CONFIG_SND_SOC_FSL_ASRC=m
459 CONFIG_SND_SOC_FSL_SAI=m
460 CONFIG_SND_SOC_FSL_SSI=m
461 CONFIG_SND_SOC_FSL_SPDIF=m
462 CONFIG_SND_SOC_FSL_ESAI=m
463 CONFIG_SND_SOC_IMX_AUDMUX=m
464 CONFIG_SND_I2S_HI6210_I2S=m
465 # CONFIG_SND_SOC_IMG is not set
468 # ASoC support for Amlogic platforms
470 CONFIG_SND_MESON_AXG_FIFO=m
471 CONFIG_SND_MESON_AXG_FRDDR=m
472 CONFIG_SND_MESON_AXG_TODDR=m
473 CONFIG_SND_MESON_AXG_TDM_FORMATTER=m
474 CONFIG_SND_MESON_AXG_TDM_INTERFACE=m
475 CONFIG_SND_MESON_AXG_TDMIN=m
476 CONFIG_SND_MESON_AXG_TDMOUT=m
477 CONFIG_SND_MESON_AXG_SOUND_CARD=m
478 CONFIG_SND_MESON_AXG_SPDIFOUT=m
479 CONFIG_SND_MESON_AXG_SPDIFIN=m
480 CONFIG_SND_MESON_AXG_PDM=m
483 # STMicroelectronics STM32 SOC audio support
486 CONFIG_SND_SOC_I2C_AND_SPI=m
491 CONFIG_SND_SOC_AC97_CODEC=m
492 CONFIG_SND_SOC_ADAU_UTILS=m
493 CONFIG_SND_SOC_ADAU1701=m
494 CONFIG_SND_SOC_ADAU17X1=m
495 CONFIG_SND_SOC_ADAU1761=m
496 CONFIG_SND_SOC_ADAU1761_I2C=m
497 CONFIG_SND_SOC_ADAU7002=m
498 CONFIG_SND_SOC_AK4118=m
499 CONFIG_SND_SOC_AK4458=m
500 CONFIG_SND_SOC_AK4554=m
501 CONFIG_SND_SOC_AK4613=m
502 CONFIG_SND_SOC_AK4642=m
503 CONFIG_SND_SOC_AK5386=m
504 CONFIG_SND_SOC_AK5558=m
505 CONFIG_SND_SOC_ALC5623=m
506 CONFIG_SND_SOC_BD28623=m
507 CONFIG_SND_SOC_BT_SCO=m
508 CONFIG_SND_SOC_CS35L32=m
509 CONFIG_SND_SOC_CS35L33=m
510 CONFIG_SND_SOC_CS35L34=m
511 CONFIG_SND_SOC_CS35L35=m
512 CONFIG_SND_SOC_CS42L42=m
513 CONFIG_SND_SOC_CS42L51=m
514 CONFIG_SND_SOC_CS42L51_I2C=m
515 CONFIG_SND_SOC_CS42L52=m
516 CONFIG_SND_SOC_CS42L56=m
517 CONFIG_SND_SOC_CS42L73=m
518 CONFIG_SND_SOC_CS4265=m
519 CONFIG_SND_SOC_CS4270=m
520 CONFIG_SND_SOC_CS4271=m
521 CONFIG_SND_SOC_CS4271_I2C=m
522 CONFIG_SND_SOC_CS42XX8=m
523 CONFIG_SND_SOC_CS42XX8_I2C=m
524 CONFIG_SND_SOC_CS43130=m
525 CONFIG_SND_SOC_CS4349=m
526 CONFIG_SND_SOC_CS53L30=m
527 CONFIG_SND_SOC_DA7219=m
528 CONFIG_SND_SOC_DMIC=m
529 CONFIG_SND_SOC_HDMI_CODEC=m
530 CONFIG_SND_SOC_ES7134=m
531 CONFIG_SND_SOC_ES7241=m
532 CONFIG_SND_SOC_ES8316=m
533 CONFIG_SND_SOC_ES8328=m
534 CONFIG_SND_SOC_ES8328_I2C=m
535 CONFIG_SND_SOC_GTM601=m
536 CONFIG_SND_SOC_INNO_RK3036=m
537 CONFIG_SND_SOC_MAX98088=m
538 CONFIG_SND_SOC_MAX98357A=m
539 CONFIG_SND_SOC_MAX98504=m
540 CONFIG_SND_SOC_MAX9867=m
541 CONFIG_SND_SOC_MAX98927=m
542 CONFIG_SND_SOC_MAX98373=m
543 CONFIG_SND_SOC_MAX9860=m
544 CONFIG_SND_SOC_MSM8916_WCD_ANALOG=m
545 CONFIG_SND_SOC_MSM8916_WCD_DIGITAL=m
546 CONFIG_SND_SOC_PCM1681=m
547 CONFIG_SND_SOC_PCM1789=m
548 CONFIG_SND_SOC_PCM1789_I2C=m
549 CONFIG_SND_SOC_PCM179X=m
550 CONFIG_SND_SOC_PCM179X_I2C=m
551 CONFIG_SND_SOC_PCM186X=m
552 CONFIG_SND_SOC_PCM186X_I2C=m
553 CONFIG_SND_SOC_PCM3060=m
554 CONFIG_SND_SOC_PCM3060_I2C=m
555 CONFIG_SND_SOC_PCM3168A=m
556 CONFIG_SND_SOC_PCM3168A_I2C=m
557 CONFIG_SND_SOC_PCM512x=m
558 CONFIG_SND_SOC_PCM512x_I2C=m
559 CONFIG_SND_SOC_RL6231=m
560 CONFIG_SND_SOC_RT5616=m
561 CONFIG_SND_SOC_RT5631=m
562 CONFIG_SND_SOC_RT5645=m
563 CONFIG_SND_SOC_SGTL5000=m
564 CONFIG_SND_SOC_SIGMADSP=m
565 CONFIG_SND_SOC_SIGMADSP_I2C=m
566 CONFIG_SND_SOC_SIGMADSP_REGMAP=m
567 CONFIG_SND_SOC_SIMPLE_AMPLIFIER=m
568 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
569 CONFIG_SND_SOC_SPDIF=m
570 CONFIG_SND_SOC_SSM2305=m
571 CONFIG_SND_SOC_SSM2602=m
572 CONFIG_SND_SOC_SSM2602_I2C=m
573 CONFIG_SND_SOC_SSM4567=m
574 CONFIG_SND_SOC_STA32X=m
575 CONFIG_SND_SOC_STA350=m
576 CONFIG_SND_SOC_STI_SAS=m
577 CONFIG_SND_SOC_TAS2552=m
578 CONFIG_SND_SOC_TAS5086=m
579 CONFIG_SND_SOC_TAS571X=m
580 CONFIG_SND_SOC_TAS5720=m
581 CONFIG_SND_SOC_TAS6424=m
582 CONFIG_SND_SOC_TDA7419=m
583 CONFIG_SND_SOC_TFA9879=m
584 CONFIG_SND_SOC_TLV320AIC23=m
585 CONFIG_SND_SOC_TLV320AIC23_I2C=m
586 CONFIG_SND_SOC_TLV320AIC31XX=m
587 CONFIG_SND_SOC_TLV320AIC32X4=m
588 CONFIG_SND_SOC_TLV320AIC32X4_I2C=m
589 CONFIG_SND_SOC_TLV320AIC3X=m
590 CONFIG_SND_SOC_TS3A227E=m
591 CONFIG_SND_SOC_TSCS42XX=m
592 CONFIG_SND_SOC_TSCS454=m
593 CONFIG_SND_SOC_WM8510=m
594 CONFIG_SND_SOC_WM8523=m
595 CONFIG_SND_SOC_WM8524=m
596 CONFIG_SND_SOC_WM8580=m
597 CONFIG_SND_SOC_WM8711=m
598 CONFIG_SND_SOC_WM8728=m
599 CONFIG_SND_SOC_WM8731=m
600 CONFIG_SND_SOC_WM8737=m
601 CONFIG_SND_SOC_WM8741=m
602 CONFIG_SND_SOC_WM8750=m
603 CONFIG_SND_SOC_WM8753=m
604 CONFIG_SND_SOC_WM8776=m
605 CONFIG_SND_SOC_WM8782=m
606 CONFIG_SND_SOC_WM8804=m
607 CONFIG_SND_SOC_WM8804_I2C=m
608 CONFIG_SND_SOC_WM8903=m
609 CONFIG_SND_SOC_WM8960=m
610 CONFIG_SND_SOC_WM8962=m
611 CONFIG_SND_SOC_WM8974=m
612 CONFIG_SND_SOC_WM8978=m
613 CONFIG_SND_SOC_WM8985=m
614 CONFIG_SND_SOC_ZX_AUD96P22=m
615 CONFIG_SND_SOC_MAX9759=m
616 CONFIG_SND_SOC_MT6351=m
617 CONFIG_SND_SOC_NAU8540=m
618 CONFIG_SND_SOC_NAU8810=m
619 CONFIG_SND_SOC_NAU8822=m
620 CONFIG_SND_SOC_NAU8824=m
621 CONFIG_SND_SOC_TPA6130A2=m
622 CONFIG_SND_SIMPLE_CARD_UTILS=m
623 CONFIG_SND_SIMPLE_CARD=m
624 CONFIG_SND_SIMPLE_SCU_CARD=m
625 CONFIG_SND_AUDIO_GRAPH_CARD=m
626 CONFIG_SND_AUDIO_GRAPH_SCU_CARD=m
629 # USB Physical Layer drivers
632 CONFIG_USB_ULPI_VIEWPORT=y
635 # MMC/SD/SDIO Host Controller Drivers
638 CONFIG_MMC_STM32_SDMMC=y
639 # CONFIG_MMC_RICOH_MMC is not set
640 CONFIG_MMC_MESON_GX=m
641 CONFIG_MMC_MESON_MX_SDIO=m
643 CONFIG_MMC_DW_PLTFM=m
644 CONFIG_MMC_DW_BLUEFIELD=m
645 CONFIG_MMC_DW_EXYNOS=m
646 CONFIG_MMC_DW_HI3798CV200=m
658 CONFIG_RTC_DRV_PL030=m
659 CONFIG_RTC_DRV_PL031=m
664 CONFIG_ASYNC_TX_ENABLE_CHANNEL_SWITCH=y
665 # CONFIG_AMBA_PL08X is not set
666 # CONFIG_PL330_DMA is not set
668 CONFIG_XILINX_ZYNQMP_DMA=m
669 # CONFIG_DW_DMAC is not set
670 # CONFIG_DW_DMAC_PCI is not set
673 # Common Clock Framework
675 CONFIG_COMMON_CLK_WM831X=y
676 CONFIG_COMMON_CLK_VERSATILE=y
678 CONFIG_CLK_VEXPRESS_OSC=y
679 CONFIG_COMMON_CLK_MAX77686=y
680 CONFIG_COMMON_CLK_SCMI=m
681 CONFIG_COMMON_CLK_SCPI=m
683 CONFIG_COMMON_CLK_PWM=m
684 CONFIG_COMMON_CLK_AMLOGIC=y
685 CONFIG_COMMON_CLK_REGMAP_MESON=y
688 # Clock Source drivers
693 CONFIG_ARM_ARCH_TIMER=y
694 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
695 CONFIG_ARM_TIMER_SP804=y
696 CONFIG_CLKSRC_VERSATILE=y
700 # Generic IOMMU Pagetable Support
702 CONFIG_IOMMU_IO_PGTABLE=y
703 CONFIG_IOMMU_IO_PGTABLE_LPAE=y
704 # CONFIG_IOMMU_IO_PGTABLE_LPAE_SELFTEST is not set
705 CONFIG_IOMMU_IO_PGTABLE_ARMV7S=y
706 # CONFIG_IOMMU_IO_PGTABLE_ARMV7S_SELFTEST is not set
710 # Amlogic SoC drivers
712 CONFIG_MESON_CANVAS=m
713 CONFIG_MESON_CLK_MEASURE=y
714 CONFIG_MESON_GX_SOCINFO=y
715 CONFIG_MESON_GX_PM_DOMAINS=y
716 CONFIG_MESON_MX_SOCINFO=y
719 # Extcon Device Drivers
721 CONFIG_ARM_PL172_MPMC=m
724 # Analog to digital converters
726 CONFIG_MESON_SARADC=m
729 # Temperature sensors
733 # CONFIG_PWM_FSL_FTM is not set
734 # CONFIG_PWM_LP3943 is not set
736 # CONFIG_PWM_PCA9685 is not set
738 # CONFIG_PWM_TWL is not set
739 # CONFIG_PWM_TWL_LED is not set
747 CONFIG_ARM_GIC_V3_ITS=y
748 CONFIG_ARM_GIC_V3_ITS_PCI=y
749 CONFIG_PARTITION_PERCPU=y
750 CONFIG_MESON_IRQ_GPIO=y
752 CONFIG_RESET_MESON_AUDIO_ARB=m
757 CONFIG_PHY_MESON8B_USB2=y
758 CONFIG_PHY_MESON_GXL_USB2=y
759 CONFIG_PHY_MESON_GXL_USB3=m
762 # Performance monitor support
765 CONFIG_ARM_CCI400_PMU=y
766 CONFIG_ARM_CCI5xx_PMU=y
767 # CONFIG_ARM_CCN is not set
773 CONFIG_MESON_MX_EFUSE=m
778 CONFIG_ZLIB_DEFLATE=m
784 # CONFIG_DEBUG_RODATA_TEST is not set
787 # Debug Lockups and Hangs
789 # CONFIG_SOFTLOCKUP_DETECTOR is not set
794 CONFIG_RCU_CPU_STALL_TIMEOUT=21
795 # CONFIG_FTRACE_SYSCALLS is not set
796 # CONFIG_PID_IN_CONTEXTIDR is not set
797 # CONFIG_CORESIGHT is not set