CONFIG_ARM=y
CONFIG_MIGHT_HAVE_PCI=y
CONFIG_SYS_SUPPORTS_APM_EMULATION=y
-# CONFIG_ARCH_USES_GETTIMEOFFSET is not set
-CONFIG_KTIME_SCALAR=y
-CONFIG_HARDIRQS_SW_RESEND=y
CONFIG_RWSEM_GENERIC_SPINLOCK=y
CONFIG_VECTORS_BASE=0xffff0000
CONFIG_ARM_PATCH_PHYS_VIRT=y
#
# IRQ subsystem
#
-CONFIG_IRQ_DOMAIN=y
-# CONFIG_IRQ_DOMAIN_DEBUG is not set
+CONFIG_HARDIRQS_SW_RESEND=y
+CONFIG_KTIME_SCALAR=y
+
+#
+# CPU/Task time and stats accounting
+#
+CONFIG_TICK_CPU_ACCOUNTING=y
#
# RCU Subsystem
CONFIG_PERF_USE_VMALLOC=y
#
-# GCOV-based kernel profiling
+# Kernel Performance Events And Counters
#
-CONFIG_LBDAF=y
+CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
+CONFIG_MODULES_USE_ELF_REL=y
+CONFIG_CLONE_BACKWARDS=y
#
-# IO Schedulers
+# GCOV-based kernel profiling
#
-# CONFIG_MUTEX_SPIN_ON_OWNER is not set
+CONFIG_LBDAF=y
#
# System Type
#
+# CONFIG_ARCH_MULTIPLATFORM is not set
# CONFIG_ARCH_INTEGRATOR is not set
# CONFIG_ARCH_REALVIEW is not set
CONFIG_ARCH_VERSATILE=y
-# CONFIG_ARCH_VEXPRESS is not set
# CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCMRING is not set
-# CONFIG_ARCH_HIGHBANK is not set
-# CONFIG_ARCH_CLPS711X is not set
+# CONFIG_ARCH_BCM2835 is not set
# CONFIG_ARCH_CNS3XXX is not set
+# CONFIG_ARCH_CLPS711X is not set
# CONFIG_ARCH_GEMINI is not set
-# CONFIG_ARCH_PRIMA2 is not set
+# CONFIG_ARCH_SIRF is not set
# CONFIG_ARCH_EBSA110 is not set
# CONFIG_ARCH_EP93XX is not set
# CONFIG_ARCH_FOOTBRIDGE is not set
-# CONFIG_ARCH_MXC is not set
# CONFIG_ARCH_MXS is not set
# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_H720X is not set
# CONFIG_ARCH_IOP13XX is not set
# CONFIG_ARCH_IOP32X is not set
# CONFIG_ARCH_IOP33X is not set
-# CONFIG_ARCH_IXP23XX is not set
-# CONFIG_ARCH_IXP2000 is not set
# CONFIG_ARCH_IXP4XX is not set
# CONFIG_ARCH_DOVE is not set
# CONFIG_ARCH_KIRKWOOD is not set
-# CONFIG_ARCH_LPC32XX is not set
# CONFIG_ARCH_MV78XX0 is not set
# CONFIG_ARCH_ORION5X is not set
# CONFIG_ARCH_MMP is not set
# CONFIG_ARCH_KS8695 is not set
# CONFIG_ARCH_W90X900 is not set
+# CONFIG_ARCH_LPC32XX is not set
# CONFIG_ARCH_TEGRA is not set
-# CONFIG_ARCH_PICOXCELL is not set
-# CONFIG_ARCH_PNX4008 is not set
# CONFIG_ARCH_PXA is not set
# CONFIG_ARCH_MSM is not set
# CONFIG_ARCH_SHMOBILE is not set
# CONFIG_ARCH_U300 is not set
# CONFIG_ARCH_U8500 is not set
# CONFIG_ARCH_NOMADIK is not set
+# CONFIG_PLAT_SPEAR is not set
# CONFIG_ARCH_DAVINCI is not set
# CONFIG_ARCH_OMAP is not set
-# CONFIG_PLAT_SPEAR is not set
-# CONFIG_ARCH_VT8500 is not set
-# CONFIG_ARCH_ZYNQ is not set
+# CONFIG_ARCH_VT8500_SINGLE is not set
#
# Versatile platform type
CONFIG_ARCH_VERSATILE_PB=y
CONFIG_MACH_VERSATILE_AB=y
CONFIG_MACH_VERSATILE_DT=y
+CONFIG_PLAT_VERSATILE_CLOCK=y
CONFIG_PLAT_VERSATILE_CLCD=y
-CONFIG_PLAT_VERSATILE_FPGA_IRQ=y
CONFIG_PLAT_VERSATILE_LEDS=y
CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
+# CONFIG_ARCH_VT8500 is not set
CONFIG_PLAT_VERSATILE=y
CONFIG_ARM_TIMER_SP804=y
#
CONFIG_ARM_AMBA=y
CONFIG_PCI_SYSCALL=y
-# CONFIG_ARCH_SUPPORTS_MSI is not set
# CONFIG_PCI_PRI is not set
# CONFIG_PCI_PASID is not set
# CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
CONFIG_HIGHMEM=y
# CONFIG_HIGHPTE is not set
+CONFIG_HW_PERF_EVENTS=y
CONFIG_FLATMEM_MANUAL=y
CONFIG_FLATMEM=y
CONFIG_FLAT_NODE_MEM_MAP=y
CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
CONFIG_NEED_PER_CPU_KM=y
CONFIG_FORCE_MAX_ZONEORDER=11
-CONFIG_LEDS=y
-CONFIG_LEDS_CPU=y
CONFIG_ALIGNMENT_TRAP=y
# CONFIG_UACCESS_WITH_MEMCPY is not set
-# CONFIG_DEPRECATED_PARAM_STRUCT is not set
#
# Boot options
#
CONFIG_USE_OF=y
+CONFIG_ATAGS=y
+# CONFIG_DEPRECATED_PARAM_STRUCT is not set
CONFIG_ZBOOT_ROM_TEXT=0
CONFIG_ZBOOT_ROM_BSS=0
CONFIG_ARM_APPENDED_DTB=y
# Generic Driver Options
#
# CONFIG_SYS_HYPERVISOR is not set
+# CONFIG_CMA is not set
+
+#
+# Bus devices
+#
CONFIG_DTC=y
CONFIG_OF=y
CONFIG_OF_ADDRESS=y
CONFIG_OF_IRQ=y
CONFIG_OF_DEVICE=y
-CONFIG_OF_GPIO=y
CONFIG_OF_I2C=m
CONFIG_OF_NET=y
CONFIG_OF_MDIO=y
# CONFIG_SMSC911X_ARCH_HOOKS is not set
# CONFIG_SUNGEM is not set
+#
+# MII PHY device drivers
+#
+CONFIG_MDIO_BUS_MUX=m
+CONFIG_MDIO_BUS_MUX_GPIO=m
+CONFIG_MDIO_BUS_MUX_MMIOREG=m
+
#
# ISDN feature submodules
#
# Input Device Drivers
#
# CONFIG_KEYBOARD_SAMSUNG is not set
+CONFIG_INPUT_PWM_BEEPER=m
#
# Hardware I/O ports
# Serial drivers
#
# CONFIG_SERIAL_8250_DW is not set
+# CONFIG_SERIAL_8250_EM is not set
#
# Non-8250 serial port support
#
CONFIG_SERIAL_AMBA_PL011=y
CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
-CONFIG_SERIAL_OF_PLATFORM=m
+CONFIG_SERIAL_OF_PLATFORM=y
+# CONFIG_SERIAL_XILINX_PS_UART is not set
# CONFIG_HVC_DCC is not set
+CONFIG_HW_RANDOM_ATMEL=m
+CONFIG_HW_RANDOM_EXYNOS=m
#
# PC SMBus host controller drivers
# I2C system bus drivers (mostly embedded / system-on-chip)
#
# CONFIG_I2C_DESIGNWARE_PLATFORM is not set
+CONFIG_I2C_NOMADIK=m
CONFIG_I2C_VERSATILE=m
+#
+# Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
+#
+CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
+CONFIG_OF_GPIO=y
+
#
# Memory mapped GPIO drivers:
#
+# CONFIG_GPIO_EM is not set
# CONFIG_GPIO_PL061 is not set
+#
+# I2C GPIO expanders:
+#
+CONFIG_GPIO_ADNP=m
+
#
# 1-wire Slaves
#
# CONFIG_APM_POWER is not set
+CONFIG_POWER_RESET_GPIO=y
#
# Watchdog Device Drivers
# CONFIG_MFD_T7L66XB is not set
# CONFIG_MFD_TC6387XB is not set
# CONFIG_MFD_TC6393XB is not set
+# CONFIG_MFD_SYSCON is not set
#
-# Customize TV tuners
-#
-CONFIG_VIDEOBUF2_DMA_CONTIG=m
-
-#
-# Miscelaneous helper chips
+# Media digital TV PCI Adapters
#
CONFIG_VIDEO_CAFE_CCIC=m
# CONFIG_VIDEO_SH_MOBILE_CSI2 is not set
CONFIG_FB_ARMCLCD=m
# CONFIG_FB_RADEON is not set
# CONFIG_FB_SAVAGE is not set
+CONFIG_BACKLIGHT_PWM=m
#
# Console display driver support
#
+CONFIG_FB_SSD1307=m
+CONFIG_SND_COMPRESS_OFFLOAD=m
# CONFIG_SND_ALI5451 is not set
CONFIG_SND_ARM=y
CONFIG_SND_ARMAACI=m
CONFIG_SND_SOC=m
+CONFIG_SND_DESIGNWARE_I2S=m
CONFIG_SND_SOC_I2C_AND_SPI=m
# CONFIG_SND_SOC_ALL_CODECS is not set
+CONFIG_SND_SIMPLE_CARD=m
#
# OTG and related infrastructure
CONFIG_MMC_DW=m
# CONFIG_MMC_DW_IDMAC is not set
CONFIG_MMC_DW_PLTFM=m
+# CONFIG_MMC_DW_EXYNOS is not set
CONFIG_MMC_DW_PCI=m
#
#
# CONFIG_LEDS_RENESAS_TPU is not set
+#
+# iptables trigger is under Netfilter config (LED target)
+#
+# CONFIG_EDAC is not set
+
#
# on-CPU RTC drivers
#
CONFIG_RTC_DRV_PL030=m
CONFIG_RTC_DRV_PL031=m
+CONFIG_RTC_DRV_SNVS=m
#
# DMA Devices
# Hardware Spinlock drivers
#
CONFIG_CLKSRC_MMIO=y
+CONFIG_OF_IOMMU=y
#
-# Pseudo filesystems
+# Rpmsg drivers (EXPERIMENTAL)
#
-# CONFIG_HUGETLB_PAGE is not set
+CONFIG_PWM=y
+CONFIG_VERSATILE_FPGA_IRQ=y
+CONFIG_VERSATILE_FPGA_IRQ_NR=4
#
# Kernel hacking
#
-# CONFIG_HARDLOCKUP_DETECTOR is not set
# CONFIG_DEBUG_HIGHMEM is not set
-CONFIG_FUNCTION_GRAPH_TRACER=y
+# CONFIG_FTRACE_SYSCALLS is not set
CONFIG_ARM_UNWIND=y
CONFIG_OLD_MCOUNT=y
# CONFIG_DEBUG_USER is not set
# CONFIG_DEBUG_LL is not set
+CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
# CONFIG_OC_ETM is not set
#
#
CONFIG_PAX_MEMORY_SANITIZE=y
+#
+# Memory Protections
+#
+CONFIG_GRKERNSEC_JIT_HARDEN=y
+
#
# Executable Protections
#
#
CONFIG_LSM_MMAP_MIN_ADDR=32768
+#
+# Crypto core or helper
+#
+CONFIG_CRYPTO_GF128MUL=m
+
+#
+# Block modes
+#
+CONFIG_CRYPTO_LRW=m
+CONFIG_CRYPTO_XTS=m
+
+#
+# Digest
+#
+CONFIG_CRYPTO_SHA1_ARM=m
+
+#
+# Ciphers
+#
+CONFIG_CRYPTO_AES_ARM=m
+
#
# Random Number Generation
#