]> git.ipfire.org Git - ipfire-3.x.git/blobdiff - kernel/config-arm-generic
kernel: Update to 4.6.7
[ipfire-3.x.git] / kernel / config-arm-generic
index 890b7372458870042abca3d993826087a2d75ba1..bbff1929c5b94df19f7683fbde75cd60148ad49a 100644 (file)
@@ -1,5 +1,3 @@
-CONFIG_SWIOTLB=y
-CONFIG_IOMMU_HELPER=y
 CONFIG_KERNEL_MODE_NEON=y
 CONFIG_PGTABLE_LEVELS=2
 
@@ -8,43 +6,32 @@ CONFIG_PGTABLE_LEVELS=2
 #
 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
 CONFIG_HARDIRQS_SW_RESEND=y
-CONFIG_IRQ_DOMAIN_HIERARCHY=y
 CONFIG_HANDLE_DOMAIN_IRQ=y
 CONFIG_ARCH_HAS_TICK_BROADCAST=y
 
-#
-# Timers subsystem
-#
-# CONFIG_NO_HZ_IDLE is not set
-CONFIG_NO_HZ_FULL=y
-# CONFIG_NO_HZ_FULL_ALL is not set
-# CONFIG_NO_HZ_FULL_SYSIDLE is not set
-
-#
-# CPU/Task time and stats accounting
-#
-CONFIG_VIRT_CPU_ACCOUNTING=y
-CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
-
 #
 # RCU Subsystem
 #
-CONFIG_CONTEXT_TRACKING=y
-CONFIG_RCU_USER_QS=y
-# CONFIG_RCU_FAST_NO_HZ is not set
 CONFIG_RCU_NOCB_CPU_NONE=y
 # CONFIG_RCU_NOCB_CPU_ALL is not set
 CONFIG_GENERIC_SCHED_CLOCK=y
+# CONFIG_KALLSYMS_ABSOLUTE_PERCPU is not set
 CONFIG_PERF_USE_VMALLOC=y
 
 #
 # Kernel Performance Events And Counters
 #
+CONFIG_GENERIC_IDLE_POLL_SETUP=y
 CONFIG_CLONE_BACKWARDS=y
 
 #
 # Platform selection
 #
+# CONFIG_ARCH_ALPINE is not set
+CONFIG_ARCH_MESON=y
+# CONFIG_ARCH_MVEBU is not set
+# CONFIG_ARCH_RENESAS is not set
+# CONFIG_ARCH_UNIPHIER is not set
 CONFIG_ARCH_VEXPRESS=y
 
 #
@@ -52,6 +39,10 @@ CONFIG_ARCH_VEXPRESS=y
 #
 CONFIG_PCI_DOMAINS_GENERIC=y
 CONFIG_PCI_SYSCALL=y
+# CONFIG_PCIE_ECRC is not set
+# CONFIG_PCIEAER_INJECT is not set
+CONFIG_PCIEASPM_DEFAULT=y
+# CONFIG_PCIEASPM_POWERSAVE is not set
 # CONFIG_PCI_MSI is not set
 # CONFIG_PCI_STUB is not set
 # CONFIG_PCI_IOV is not set
@@ -61,10 +52,8 @@ CONFIG_PCI_SYSCALL=y
 #
 # PCI host controller drivers
 #
-# CONFIG_PCIE_ECRC is not set
-# CONFIG_PCIEAER_INJECT is not set
-CONFIG_PCIEASPM_DEFAULT=y
-# CONFIG_PCIEASPM_POWERSAVE is not set
+CONFIG_PCI_HOST_COMMON=y
+CONFIG_PCI_HOST_GENERIC=y
 
 #
 # ARM errata workarounds via the alternatives framework
@@ -73,6 +62,8 @@ CONFIG_PCIEASPM_DEFAULT=y
 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
 CONFIG_HW_PERF_EVENTS=y
 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
+# CONFIG_PARAVIRT is not set
+# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
 
 #
 # Boot options
@@ -82,7 +73,6 @@ CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
 #
 # Power management options
 #
-CONFIG_PM_OPP=y
 CONFIG_CPU_PM=y
 
 #
@@ -99,13 +89,9 @@ CONFIG_CPU_FREQ_STAT=y
 #
 # CPU frequency scaling drivers
 #
-CONFIG_CPUFREQ_DT=m
+CONFIG_ARM_BIG_LITTLE_CPUFREQ=m
 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
-
-#
-# Classification
-#
-CONFIG_BPF_JIT=y
+CONFIG_ARM_SCPI_CPUFREQ=m
 
 #
 # Bluetooth device drivers
@@ -119,7 +105,6 @@ CONFIG_BPF_JIT=y
 # Device Drivers
 #
 CONFIG_ARM_AMBA=y
-CONFIG_TEGRA_AHB=y
 
 #
 # Generic Driver Options
@@ -140,28 +125,16 @@ CONFIG_CMA_ALIGNMENT=8
 # Bus devices
 #
 CONFIG_ARM_CCI=y
+CONFIG_ARM_CCI_PMU=y
 CONFIG_ARM_CCI400_COMMON=y
 CONFIG_ARM_CCI400_PMU=y
+CONFIG_ARM_CCI5xx_PMU=y
 # CONFIG_ARM_CCN is not set
 CONFIG_VEXPRESS_CONFIG=y
 CONFIG_DTC=y
-CONFIG_OF=y
-
-#
-# Device Tree and Open Firmware support
-#
-# CONFIG_OF_UNITTEST is not set
 CONFIG_OF_FLATTREE=y
 CONFIG_OF_EARLY_FLATTREE=y
-CONFIG_OF_ADDRESS=y
-CONFIG_OF_ADDRESS_PCI=y
-CONFIG_OF_IRQ=y
-CONFIG_OF_NET=y
-CONFIG_OF_MDIO=y
-CONFIG_OF_PCI=y
-CONFIG_OF_PCI_IRQ=y
 CONFIG_OF_RESERVED_MEM=y
-# CONFIG_OF_OVERLAY is not set
 # CONFIG_PARPORT is not set
 
 #
@@ -171,10 +144,10 @@ CONFIG_OF_RESERVED_MEM=y
 # CONFIG_BLK_CPQ_CISS_DA is not set
 # CONFIG_BLK_DEV_DAC960 is not set
 # CONFIG_BLK_DEV_UMEM is not set
-# CONFIG_BLK_DEV_NVME is not set
 # CONFIG_BLK_DEV_SX8 is not set
 CONFIG_BLK_DEV_RAM_SIZE=4096
 # CONFIG_BLK_DEV_RSXX is not set
+# CONFIG_BLK_DEV_NVME is not set
 
 #
 # Misc devices
@@ -191,6 +164,7 @@ CONFIG_VEXPRESS_SYSCFG=y
 CONFIG_AIC79XX_RESET_DELAY_MS=5000
 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
 # CONFIG_SCSI_MVSAS_TASKLET is not set
+# CONFIG_SCSI_ADVANSYS is not set
 # CONFIG_MEGARAID_NEWGEN is not set
 
 #
@@ -213,14 +187,17 @@ CONFIG_MII=y
 # Distributed Switch Architecture drivers
 #
 CONFIG_AMD8111_ETH=y
-CONFIG_ARC_EMAC_CORE=m
-CONFIG_ARC_EMAC=m
-CONFIG_EMAC_ROCKCHIP=m
-CONFIG_SYSTEMPORT=m
 # CONFIG_CHELSIO_T1_1G is not set
 # CONFIG_DE2104X is not set
 # CONFIG_TULIP_MMIO is not set
 # CONFIG_TULIP_NAPI is not set
+CONFIG_NET_VENDOR_HISILICON=y
+CONFIG_HIX5HD2_GMAC=m
+CONFIG_HIP04_ETH=m
+CONFIG_HNS_MDIO=m
+CONFIG_HNS=m
+CONFIG_HNS_DSAF=m
+CONFIG_HNS_ENET=m
 # CONFIG_I40E_VXLAN is not set
 # CONFIG_SKGE_GENESIS is not set
 # CONFIG_QLCNIC_VXLAN is not set
@@ -233,9 +210,6 @@ CONFIG_SMC91X=m
 #
 # MII PHY device drivers
 #
-CONFIG_MDIO_BUS_MUX=m
-CONFIG_MDIO_BUS_MUX_GPIO=m
-CONFIG_MDIO_BUS_MUX_MMIOREG=m
 CONFIG_WIL6210_TRACING=y
 # CONFIG_IPW2100_MONITOR is not set
 # CONFIG_IPW2200_MONITOR is not set
@@ -246,10 +220,7 @@ CONFIG_WIL6210_TRACING=y
 #
 # CONFIG_KEYBOARD_ADP5520 is not set
 # CONFIG_KEYBOARD_STMPE is not set
-CONFIG_KEYBOARD_OMAP4=m
-# CONFIG_KEYBOARD_TC3589X is not set
 # CONFIG_KEYBOARD_CAP11XX is not set
-CONFIG_KEYBOARD_BCM=m
 CONFIG_INPUT_MAX77693_HAPTIC=m
 # CONFIG_INPUT_MAX8997_HAPTIC is not set
 # CONFIG_INPUT_GPIO_BEEPER is not set
@@ -262,7 +233,6 @@ CONFIG_INPUT_MAX77693_HAPTIC=m
 # Hardware I/O ports
 #
 # CONFIG_SERIO_AMBAKMI is not set
-CONFIG_SERIO_APBPS2=m
 
 #
 # Character devices
@@ -273,19 +243,24 @@ CONFIG_SERIO_APBPS2=m
 # CONFIG_SYNCLINK_GT is not set
 # CONFIG_NOZOMI is not set
 
+#
+# Serial drivers
+#
+CONFIG_SERIAL_8250_FSL=y
+CONFIG_SERIAL_OF_PLATFORM=y
+
 #
 # Non-8250 serial port support
 #
 CONFIG_SERIAL_AMBA_PL010=m
 CONFIG_SERIAL_AMBA_PL011=m
 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
+CONFIG_SERIAL_MESON=m
 # CONFIG_SERIAL_JSM is not set
-CONFIG_SERIAL_OF_PLATFORM=y
 # CONFIG_SERIAL_SCCNXP is not set
 # CONFIG_SERIAL_XILINX_PS_UART is not set
 # CONFIG_SERIAL_ARC is not set
 # CONFIG_SERIAL_RP2 is not set
-CONFIG_SERIAL_CONEXANT_DIGICOLOR=m
 
 #
 # Multiplexer I2C Chip support
@@ -304,35 +279,23 @@ CONFIG_I2C_SIS630=m
 #
 # I2C system bus drivers (mostly embedded / system-on-chip)
 #
-CONFIG_I2C_RK3X=m
+CONFIG_I2C_MESON=m
 CONFIG_I2C_VERSATILE=m
 
 #
 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
 #
 CONFIG_ARCH_REQUIRE_GPIOLIB=y
-CONFIG_OF_GPIO=y
-CONFIG_GPIO_GENERIC=y
 
 #
 # Memory mapped GPIO drivers
 #
-CONFIG_GPIO_74XX_MMIO=m
-CONFIG_GPIO_ALTERA=m
-CONFIG_GPIO_GENERIC_PLATFORM=y
 # CONFIG_GPIO_GRGPIO is not set
 CONFIG_GPIO_PL061=y
-# CONFIG_GPIO_SYSCON is not set
-
-#
-# I2C GPIO expanders
-#
-CONFIG_GPIO_ADNP=m
 
 #
 # MFD GPIO expanders
 #
-# CONFIG_GPIO_STMPE is not set
 # CONFIG_GPIO_TC3589X is not set
 
 #
@@ -350,32 +313,20 @@ CONFIG_GPIO_ADNP=m
 # CONFIG_CHARGER_TWL4030 is not set
 # CONFIG_CHARGER_MAX8997 is not set
 # CONFIG_CHARGER_MAX8998 is not set
-CONFIG_POWER_RESET_AS3722=y
-CONFIG_POWER_RESET_GPIO=y
-CONFIG_POWER_RESET_GPIO_RESTART=y
-CONFIG_POWER_RESET_LTC2952=y
 CONFIG_POWER_RESET_VEXPRESS=y
-CONFIG_POWER_RESET_SYSCON=y
-CONFIG_POWER_RESET_SYSCON_POWEROFF=y
 
 #
 # Native drivers
 #
+CONFIG_SENSORS_ARM_SCPI=m
 CONFIG_SENSORS_PWM_FAN=m
 CONFIG_SENSORS_VEXPRESS=m
 
-#
-# ACPI drivers
-#
-CONFIG_THERMAL_OF=y
-# CONFIG_CPU_THERMAL is not set
-CONFIG_CLOCK_THERMAL=y
-
 #
 # Watchdog Device Drivers
 #
-CONFIG_GPIO_WATCHDOG=m
 CONFIG_ARM_SP805_WATCHDOG=m
+CONFIG_MESON_WATCHDOG=m
 
 #
 # PCI-based Watchdog Cards
@@ -386,31 +337,18 @@ CONFIG_ARM_SP805_WATCHDOG=m
 #
 # Multifunction device drivers
 #
-CONFIG_MFD_AS3722=y
-CONFIG_MFD_HI6421_PMIC=m
 # CONFIG_LPC_ICH is not set
-CONFIG_MFD_MAX77686=y
 # CONFIG_MFD_RTSX_PCI is not set
-CONFIG_MFD_RK808=m
-CONFIG_MFD_STMPE=y
 
 #
 # STMicroelectronics STMPE Interface Drivers
 #
-CONFIG_STMPE_I2C=y
-CONFIG_MFD_TC3589X=y
 # CONFIG_MFD_VX855 is not set
 CONFIG_MFD_VEXPRESS_SYSREG=y
 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
-CONFIG_REGULATOR_AS3722=m
-CONFIG_REGULATOR_HI6421=m
-CONFIG_REGULATOR_MAX77686=m
-CONFIG_REGULATOR_MAX77802=m
 CONFIG_REGULATOR_PWM=m
-CONFIG_REGULATOR_RK808=m
-CONFIG_REGULATOR_TPS65218=m
 CONFIG_REGULATOR_VEXPRESS=m
 
 #
@@ -418,6 +356,11 @@ CONFIG_REGULATOR_VEXPRESS=m
 #
 # CONFIG_TTPCI_EEPROM is not set
 
+#
+# Media drivers
+#
+# CONFIG_IR_MESON is not set
+
 #
 # Digital TV USB devices
 #
@@ -445,8 +388,6 @@ CONFIG_DVB_TTUSB_DEC=y
 # CONFIG_DVB_PT1 is not set
 # CONFIG_MANTIS_CORE is not set
 # CONFIG_DVB_NGENE is not set
-# CONFIG_VIDEO_CAFE_CCIC is not set
-# CONFIG_VIDEO_XILINX is not set
 
 #
 # DVB-S (satellite) frontends
@@ -472,30 +413,23 @@ CONFIG_DVB_STV0297=y
 CONFIG_DVB_LNBP21=y
 
 #
-# I2C encoder or helper chips
-#
-# CONFIG_DRM_I2C_NXP_TDA998X is not set
-CONFIG_DRM_PTN3460=m
-CONFIG_DRM_PS8622=m
-# CONFIG_DRM_RADEON is not set
-# CONFIG_DRM_NOUVEAU is not set
-
-#
-# Display Panels
+# Graphics support
 #
-# CONFIG_DRM_PANEL_SIMPLE is not set
-# CONFIG_DRM_PANEL_S6E8AA0 is not set
+CONFIG_DRM_GEM_CMA_HELPER=y
+CONFIG_DRM_KMS_CMA_HELPER=y
 
 #
-# Frame buffer Devices
+# I2C encoder or helper chips
 #
-# CONFIG_FB_BACKLIGHT is not set
+# CONFIG_DRM_I2C_NXP_TDA998X is not set
+CONFIG_DRM_ARM=y
+CONFIG_DRM_HDLCD=m
+# CONFIG_DRM_HDLCD_SHOW_UNDERRUN is not set
 
 #
 # Frame buffer hardware drivers
 #
 # CONFIG_FB_ARMCLCD is not set
-# CONFIG_FB_SSD1307 is not set
 # CONFIG_LCD_PLATFORM is not set
 # CONFIG_BACKLIGHT_PWM is not set
 # CONFIG_BACKLIGHT_LM3630A is not set
@@ -506,7 +440,6 @@ CONFIG_DRM_PS8622=m
 # Console display driver support
 #
 CONFIG_SND_DMAENGINE_PCM=m
-CONFIG_SND_COMPRESS_OFFLOAD=m
 # CONFIG_SND_ALI5451 is not set
 # CONFIG_SND_ES1968_INPUT is not set
 # CONFIG_SND_MAESTRO3_INPUT is not set
@@ -515,7 +448,9 @@ CONFIG_SND_COMPRESS_OFFLOAD=m
 # HD-Audio
 #
 CONFIG_SND_SOC=m
+CONFIG_SND_SOC_AC97_BUS=y
 CONFIG_SND_SOC_GENERIC_DMAENGINE_PCM=y
+CONFIG_SND_SOC_AMD_ACP=m
 CONFIG_SND_ATMEL_SOC=m
 CONFIG_SND_DESIGNWARE_I2S=m
 
@@ -528,14 +463,22 @@ CONFIG_SND_SOC_FSL_SSI=m
 CONFIG_SND_SOC_FSL_SPDIF=m
 CONFIG_SND_SOC_FSL_ESAI=m
 CONFIG_SND_SOC_IMX_AUDMUX=m
-CONFIG_SND_SOC_QCOM=m
+# CONFIG_SND_SOC_IMG is not set
+
+#
+# Allwinner SoC Audio support
+#
+CONFIG_SND_SUN4I_CODEC=m
+CONFIG_SND_SUN4I_SPDIF=m
 CONFIG_SND_SOC_I2C_AND_SPI=m
 
 #
 # CODEC drivers
 #
+CONFIG_SND_SOC_AC97_CODEC=m
 CONFIG_SND_SOC_ADAU1701=m
 CONFIG_SND_SOC_AK4554=m
+CONFIG_SND_SOC_AK4613=m
 CONFIG_SND_SOC_AK4642=m
 CONFIG_SND_SOC_AK5386=m
 CONFIG_SND_SOC_ALC5623=m
@@ -551,11 +494,19 @@ CONFIG_SND_SOC_CS4271=m
 CONFIG_SND_SOC_CS4271_I2C=m
 CONFIG_SND_SOC_CS42XX8=m
 CONFIG_SND_SOC_CS42XX8_I2C=m
-CONFIG_SND_SOC_HDMI_CODEC=m
+CONFIG_SND_SOC_CS4349=m
 CONFIG_SND_SOC_ES8328=m
+CONFIG_SND_SOC_GTM601=m
+CONFIG_SND_SOC_INNO_RK3036=m
 CONFIG_SND_SOC_PCM1681=m
+CONFIG_SND_SOC_PCM179X=m
+CONFIG_SND_SOC_PCM179X_I2C=m
+CONFIG_SND_SOC_PCM3168A=m
+CONFIG_SND_SOC_PCM3168A_I2C=m
 CONFIG_SND_SOC_PCM512x=m
 CONFIG_SND_SOC_PCM512x_I2C=m
+CONFIG_SND_SOC_RL6231=m
+CONFIG_SND_SOC_RT5616=m
 CONFIG_SND_SOC_RT5631=m
 # CONFIG_SND_SOC_RT5677_SPI is not set
 CONFIG_SND_SOC_SGTL5000=m
@@ -568,8 +519,10 @@ CONFIG_SND_SOC_SSM2602_I2C=m
 CONFIG_SND_SOC_SSM4567=m
 CONFIG_SND_SOC_STA32X=m
 CONFIG_SND_SOC_STA350=m
+CONFIG_SND_SOC_STI_SAS=m
 CONFIG_SND_SOC_TAS2552=m
 CONFIG_SND_SOC_TAS5086=m
+CONFIG_SND_SOC_TAS571X=m
 CONFIG_SND_SOC_TFA9879=m
 CONFIG_SND_SOC_TLV320AIC23=m
 CONFIG_SND_SOC_TLV320AIC23_I2C=m
@@ -591,15 +544,11 @@ CONFIG_SND_SOC_WM8804=m
 CONFIG_SND_SOC_WM8804_I2C=m
 CONFIG_SND_SOC_WM8903=m
 CONFIG_SND_SOC_WM8962=m
+CONFIG_SND_SOC_WM8974=m
 CONFIG_SND_SOC_WM8978=m
 CONFIG_SND_SOC_TPA6130A2=m
 CONFIG_SND_SIMPLE_CARD=m
 
-#
-# Gadget/Dual-role mode requires USB Gadget support to be enabled
-#
-CONFIG_USB_CHIPIDEA_OF=m
-
 #
 # USB Physical Layer drivers
 #
@@ -611,9 +560,7 @@ CONFIG_USB_ULPI_VIEWPORT=y
 #
 CONFIG_MMC_ARMMMCI=m
 # CONFIG_MMC_RICOH_MMC is not set
-CONFIG_MMC_SDHCI_F_SDH30=m
 CONFIG_MMC_DW=m
-CONFIG_MMC_DW_IDMAC=y
 CONFIG_MMC_DW_PLTFM=m
 CONFIG_MMC_DW_EXYNOS=m
 CONFIG_MMC_DW_K3=m
@@ -624,36 +571,19 @@ CONFIG_MMC_DW_PCI=m
 #
 CONFIG_LEDS_PWM=m
 
-#
-# LED driver for blink(1) USB RGB LED is under Special HID drivers (HID_THINGM)
-#
-CONFIG_LEDS_SYSCON=y
-
-#
-# I2C RTC drivers
-#
-CONFIG_RTC_DRV_AS3722=m
-CONFIG_RTC_DRV_HYM8563=m
-CONFIG_RTC_DRV_MAX77686=m
-CONFIG_RTC_DRV_RK808=m
-CONFIG_RTC_DRV_MAX77802=m
-
 #
 # on-CPU RTC drivers
 #
 CONFIG_RTC_DRV_PL030=m
 CONFIG_RTC_DRV_PL031=m
-CONFIG_RTC_DRV_SNVS=m
 
 #
 # DMA Devices
 #
 # CONFIG_AMBA_PL08X is not set
+# CONFIG_PL330_DMA is not set
 # CONFIG_DW_DMAC is not set
 # CONFIG_DW_DMAC_PCI is not set
-# CONFIG_PL330_DMA is not set
-CONFIG_FSL_EDMA=m
-CONFIG_DMA_OF=y
 
 #
 # DMA Clients
@@ -663,16 +593,6 @@ CONFIG_DMA_OF=y
 # CONFIG_UIO_PCI_GENERIC is not set
 # CONFIG_UIO_MF624 is not set
 
-#
-# Android
-#
-# CONFIG_COMMON_CLK_XLNX_CLKWZRD is not set
-CONFIG_I2O_LCT_NOTIFY_ON_CHANGES=y
-# CONFIG_I2O_BUS is not set
-# CONFIG_I2O_BLOCK is not set
-# CONFIG_I2O_SCSI is not set
-# CONFIG_I2O_PROC is not set
-
 #
 # Common Clock Framework
 #
@@ -680,33 +600,42 @@ CONFIG_COMMON_CLK_WM831X=y
 CONFIG_COMMON_CLK_VERSATILE=y
 CONFIG_CLK_SP810=y
 CONFIG_CLK_VEXPRESS_OSC=y
-CONFIG_COMMON_CLK_MAX_GEN=y
 CONFIG_COMMON_CLK_MAX77686=y
-CONFIG_COMMON_CLK_MAX77802=m
-CONFIG_COMMON_CLK_RK808=m
-CONFIG_COMMON_CLK_SI570=m
+CONFIG_COMMON_CLK_SCPI=m
+CONFIG_CLK_QORIQ=y
 CONFIG_COMMON_CLK_PWM=m
 
 #
 # Clock Source drivers
 #
 CONFIG_CLKSRC_OF=y
+CONFIG_CLKSRC_PROBE=y
 CONFIG_CLKSRC_MMIO=y
 CONFIG_ARM_ARCH_TIMER=y
 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
+CONFIG_ARM_TIMER_SP804=y
 CONFIG_ARM_MHU=m
 
 #
-# Analog to digital converters
+# Generic IOMMU Pagetable Support
 #
-# CONFIG_LP8788_ADC is not set
-# CONFIG_TWL6030_GPADC is not set
-CONFIG_VF610_ADC=m
+CONFIG_IOMMU_IO_PGTABLE=y
+CONFIG_IOMMU_IO_PGTABLE_LPAE=y
+# CONFIG_IOMMU_IO_PGTABLE_LPAE_SELFTEST is not set
+CONFIG_IOMMU_IO_PGTABLE_ARMV7S=y
+# CONFIG_IOMMU_IO_PGTABLE_ARMV7S_SELFTEST is not set
+CONFIG_IOMMU_DMA=y
 
 #
-# Digital to analog converters
+# Extcon Device Drivers
 #
-CONFIG_MAX5821=m
+CONFIG_ARM_PL172_MPMC=m
+
+#
+# Analog to digital converters
+#
+# CONFIG_LP8788_ADC is not set
+# CONFIG_TWL6030_GPADC is not set
 
 #
 # Temperature sensors
@@ -718,12 +647,19 @@ CONFIG_PWM_SYSFS=y
 # CONFIG_PWM_PCA9685 is not set
 # CONFIG_PWM_TWL is not set
 # CONFIG_PWM_TWL_LED is not set
-CONFIG_IRQCHIP=y
 CONFIG_ARM_GIC=y
+CONFIG_ARM_GIC_V3=y
+
+#
+# Performance monitor support
+#
+CONFIG_ARM_PMU=y
 
 #
 # Firmware Drivers
 #
+CONFIG_ARM_PSCI_FW=y
+CONFIG_ARM_SCPI_PROTOCOL=m
 # CONFIG_FIRMWARE_MEMMAP is not set
 
 #
@@ -758,6 +694,5 @@ CONFIG_CRYPTO_XTS=m
 #
 # Library routines
 #
-CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
 CONFIG_AUDIT_GENERIC=y
 CONFIG_LIBFDT=y