# IRQ subsystem
#
CONFIG_HARDIRQS_SW_RESEND=y
+# CONFIG_ALWAYS_USE_PERSISTENT_CLOCK is not set
CONFIG_KTIME_SCALAR=y
#
# RCU Subsystem
#
CONFIG_TINY_RCU=y
+# CONFIG_RCU_STALL_COMMON is not set
CONFIG_PERF_USE_VMALLOC=y
#
CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
CONFIG_MODULES_USE_ELF_REL=y
CONFIG_CLONE_BACKWARDS=y
+CONFIG_OLD_SIGACTION=y
#
# GCOV-based kernel profiling
# 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_ARCH_VT8500_SINGLE is not set
+# CONFIG_ARCH_OMAP1 is not set
#
# Versatile platform type
CONFIG_PLAT_VERSATILE_CLCD=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_L1_CACHE_SHIFT=5
CONFIG_ARM_NR_BANKS=8
CONFIG_MULTI_IRQ_HANDLER=y
-CONFIG_ARM_VIC=y
-CONFIG_ARM_VIC_NR=2
CONFIG_ICST=y
#
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_SPLIT_PTLOCK_CPUS=999999
# Power management options
#
CONFIG_APM_EMULATION=y
-CONFIG_PM_CLK=y
CONFIG_CPU_PM=y
CONFIG_ARM_CPU_SUSPEND=y
# Misc devices
#
# CONFIG_SENSORS_LIS3LV02D is not set
-# CONFIG_ATMEL_PWM is not set
# CONFIG_SGI_IOC4 is not set
# CONFIG_ARM_CHARLCD is not set
# SCSI Transports
#
# CONFIG_SCSI_ACARD is not set
-# CONFIG_SCSI_ADVANSYS is not set
# CONFIG_SCSI_NSP32 is not set
#
#
# Input Device Drivers
#
-# CONFIG_KEYBOARD_SAMSUNG is not set
CONFIG_INPUT_PWM_BEEPER=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
#
# CONFIG_APM_POWER is not set
CONFIG_POWER_RESET_GPIO=y
+CONFIG_POWER_RESET_RESTART=y
#
# Watchdog Device Drivers
# CONFIG_VIDEO_SH_MOBILE_CSI2 is not set
# CONFIG_VIDEO_SH_MOBILE_CEU is not set
-#
-# Graphics support
-#
-# CONFIG_DRM_RADEON is not set
-# CONFIG_DRM_NOUVEAU is not set
-
#
# I2C encoder or helper chips
#
CONFIG_DRM_I2C_CH7006=m
CONFIG_DRM_I2C_SIL164=m
+# CONFIG_DRM_RADEON is not set
+# CONFIG_DRM_NOUVEAU is not set
+# CONFIG_DRM_TILCDC is not set
+CONFIG_DISPLAY_TIMING=y
+CONFIG_VIDEOMODE=y
+CONFIG_OF_DISPLAY_TIMING=y
+CONFIG_OF_VIDEOMODE=y
# CONFIG_FB_BOOT_VESA_SUPPORT is not set
CONFIG_FB_CFB_FILLRECT=m
CONFIG_FB_CFB_COPYAREA=m
CONFIG_SND_ARM=y
CONFIG_SND_ARMAACI=m
CONFIG_SND_SOC=m
+CONFIG_SND_ATMEL_SOC=m
CONFIG_SND_DESIGNWARE_I2S=m
CONFIG_SND_SOC_I2C_AND_SPI=m
# CONFIG_SND_SOC_ALL_CODECS is not set
# MMC/SD/SDIO Host Controller Drivers
#
CONFIG_MMC_ARMMMCI=m
-CONFIG_MMC_SDHCI_PXAV3=m
-CONFIG_MMC_SDHCI_PXAV2=m
CONFIG_MMC_DW=m
# CONFIG_MMC_DW_IDMAC is not set
CONFIG_MMC_DW_PLTFM=m
#
# LED drivers
#
-# CONFIG_LEDS_RENESAS_TPU is not set
+CONFIG_LEDS_PWM=m
#
# iptables trigger is under Netfilter config (LED target)
#
# CONFIG_EDAC is not set
+CONFIG_RTC_HCTOSYS=y
+CONFIG_RTC_SYSTOHC=y
+CONFIG_RTC_HCTOSYS_DEVICE="rtc0"
#
# on-CPU RTC drivers
# CONFIG_AMBA_PL08X is not set
# CONFIG_DW_DMAC is not set
CONFIG_PL330_DMA=y
-
-#
-# Android
-#
-CONFIG_CLKDEV_LOOKUP=y
+CONFIG_DMA_OF=y
#
# Hardware Spinlock drivers
#
CONFIG_CLKSRC_MMIO=y
+CONFIG_PL320_MBOX=y
CONFIG_OF_IOMMU=y
#
-# Rpmsg drivers (EXPERIMENTAL)
+# Magnetometer sensors
#
CONFIG_PWM=y
+CONFIG_IRQCHIP=y
+CONFIG_ARM_VIC=y
+CONFIG_ARM_VIC_NR=2
CONFIG_VERSATILE_FPGA_IRQ=y
CONFIG_VERSATILE_FPGA_IRQ_NR=4
# Kernel hacking
#
# CONFIG_DEBUG_HIGHMEM is not set
+
+#
+# RCU Debugging
+#
# CONFIG_FTRACE_SYSCALLS is not set
CONFIG_ARM_UNWIND=y
CONFIG_OLD_MCOUNT=y
#
CONFIG_AUDIT_GENERIC=y
CONFIG_GENERIC_ATOMIC64=y
+# CONFIG_VIRTUALIZATION is not set