#
CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
CONFIG_MODULES_USE_ELF_REL=y
+CONFIG_CLONE_BACKWARDS=y
#
# GCOV-based kernel profiling
# 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_PLAT_SPEAR is not set
# CONFIG_ARCH_DAVINCI is not set
# CONFIG_ARCH_OMAP 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_MACH_VERSATILE_DT=y
CONFIG_PLAT_VERSATILE_CLOCK=y
CONFIG_PLAT_VERSATILE_CLCD=y
-CONFIG_PLAT_VERSATILE_FPGA_IRQ=y
-CONFIG_PLAT_VERSATILE_FPGA_IRQ_NR=4
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
# Input Device Drivers
#
# CONFIG_KEYBOARD_SAMSUNG is not set
+CONFIG_INPUT_PWM_BEEPER=m
#
# Hardware I/O ports
CONFIG_SERIAL_AMBA_PL011=y
CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
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
# 1-wire Slaves
#
# CONFIG_APM_POWER is not set
+CONFIG_POWER_RESET_GPIO=y
#
# Watchdog Device Drivers
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_DW_DMAC is not set
CONFIG_PL330_DMA=y
-#
-# Microsoft Hyper-V guest support
-#
-CONFIG_ZRAM=m
-# CONFIG_ZRAM_DEBUG is not set
-
#
# Android
#
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