CONFIG_HARDIRQS_SW_RESEND=y
CONFIG_KTIME_SCALAR=y
+#
+# Timers subsystem
+#
+CONFIG_NO_HZ_IDLE=y
+
#
# CPU/Task time and stats accounting
#
CONFIG_TICK_CPU_ACCOUNTING=y
+# CONFIG_IRQ_TIME_ACCOUNTING is not set
#
# RCU Subsystem
#
# Kernel Performance Events And Counters
#
+CONFIG_GENERIC_IDLE_POLL_SETUP=y
CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
CONFIG_MODULES_USE_ELF_REL=y
CONFIG_CLONE_BACKWARDS=y
# CONFIG_ARCH_REALVIEW is not set
CONFIG_ARCH_VERSATILE=y
# CONFIG_ARCH_AT91 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_SIRF is not set
# CONFIG_ARCH_EBSA110 is not set
# CONFIG_ARCH_EP93XX is not set
# CONFIG_ARCH_FOOTBRIDGE 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_KS8695 is not set
# CONFIG_ARCH_W90X900 is not set
# CONFIG_ARCH_LPC32XX is not set
-# CONFIG_ARCH_TEGRA is not set
# CONFIG_ARCH_PXA is not set
# CONFIG_ARCH_MSM is not set
# CONFIG_ARCH_SHMOBILE is not set
# CONFIG_ARCH_EXYNOS is not set
# CONFIG_ARCH_SHARK 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_OMAP1 is not set
+# CONFIG_PLAT_SPEAR is not set
#
# Versatile platform type
# CONFIG_CPU_DCACHE_DISABLE is not set
# CONFIG_CPU_DCACHE_WRITETHROUGH is not set
# CONFIG_CPU_CACHE_ROUND_ROBIN is not set
+CONFIG_NEED_KUSER_HELPERS=y
+CONFIG_KUSER_HELPERS=y
# CONFIG_CACHE_L2X0 is not set
CONFIG_ARM_L1_CACHE_SHIFT=5
CONFIG_ARM_NR_BANKS=8
#
# CONFIG_ISDN_DRV_LOOP is not set
+#
+# Userland interfaces
+#
+# CONFIG_INPUT_APMPOWER is not set
+
#
# Input Device Drivers
#
# Hardware I/O ports
#
CONFIG_SERIO_AMBAKMI=m
+CONFIG_SERIO_APBPS2=m
#
# Serial drivers
#
# CONFIG_GPIO_EM is not set
# CONFIG_GPIO_PL061 is not set
+# CONFIG_GPIO_RCAR is not set
+# CONFIG_GPIO_GRGPIO is not set
#
# I2C GPIO expanders:
# CONFIG_MFD_T7L66XB is not set
# CONFIG_MFD_TC6387XB is not set
# CONFIG_MFD_TC6393XB is not set
-# CONFIG_MFD_SYSCON is not set
#
# Media digital TV PCI Adapters
# CONFIG_VIDEO_SH_MOBILE_CSI2 is not set
# CONFIG_VIDEO_SH_MOBILE_CEU is not set
+#
+# Camera sensor devices
+#
+CONFIG_VIDEO_OV7670=m
+
#
# I2C encoder or helper chips
#
# 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_FB_CFB_IMAGEBLIT=m
-CONFIG_FB_SYS_FILLRECT=m
-CONFIG_FB_SYS_COPYAREA=m
-CONFIG_FB_SYS_IMAGEBLIT=m
-CONFIG_FB_SYS_FOPS=m
+# CONFIG_FB_BACKLIGHT is not set
#
# Frame buffer hardware drivers
#
-CONFIG_FB_ARMCLCD=m
-# CONFIG_FB_RADEON is not set
-# CONFIG_FB_SAVAGE is not set
+# CONFIG_FB_ARMCLCD is not set
CONFIG_BACKLIGHT_PWM=m
#
# Console display driver support
#
-CONFIG_FB_SSD1307=m
+# CONFIG_FB_SSD1307 is not set
CONFIG_SND_COMPRESS_OFFLOAD=m
# CONFIG_SND_ALI5451 is not set
CONFIG_SND_ARM=y
# CONFIG_SND_SOC_ALL_CODECS is not set
CONFIG_SND_SIMPLE_CARD=m
-#
-# OTG and related infrastructure
-#
-# CONFIG_USB_ULPI is not set
-
#
# MMC/SD/SDIO Host Controller Drivers
#
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_EXYNOS=m
CONFIG_MMC_DW_PCI=m
#
#
# Hardware Spinlock drivers
#
+CONFIG_CLKSRC_OF=y
CONFIG_CLKSRC_MMIO=y
CONFIG_PL320_MBOX=y
CONFIG_OF_IOMMU=y
+#
+# Analog to digital converters
+#
+# CONFIG_EXYNOS_ADC is not set
+
#
# Magnetometer sensors
#
# CONFIG_DEBUG_ICEDCC is not set
# CONFIG_DEBUG_SEMIHOSTING is not set
CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
+CONFIG_UNCOMPRESS_INCLUDE="mach/uncompress.h"
# CONFIG_OC_ETM is not set
#
#
CONFIG_AUDIT_GENERIC=y
CONFIG_GENERIC_ATOMIC64=y
+CONFIG_KVM_ARM_MAX_VCPUS=0