CONFIG_ARM_ERRATA_751472=y
CONFIG_ARM_ERRATA_754327=y
CONFIG_ARM_ERRATA_764369=y
+# CONFIG_ARM_ERRATA_766421 is not set
+# CONFIG_ARM_ERRATA_773022 is not set
+# CONFIG_ARM_ERRATA_774769 is not set
# CONFIG_ARM_EXYNOS5250_CPUFREQ is not set
CONFIG_ATH6KL=m
CONFIG_ATH6KL_DEBUG=y
CONFIG_ATH6KL_SDIO=m
# CONFIG_ATH6KL_USB is not set
+# CONFIG_AUXDISPLAY is not set
+# CONFIG_BATTERY_SBS is not set
# CONFIG_BT_MRVL is not set
CONFIG_CACHE_L2X0=y
CONFIG_CACHE_PL310=y
# CONFIG_DEBUG_PINCTRL is not set
# CONFIG_DEBUG_USER is not set
# CONFIG_DMADEVICES is not set
-# CONFIG_DMA_SHARED_BUFFER is not set
+# CONFIG_DMA_SHARED_BUFFER_USES_KDS is not set
# CONFIG_DRM is not set
+# CONFIG_DRM_ANX7808 is not set
+# CONFIG_DRM_PS8622 is not set
# CONFIG_EXYNOS_VIDEO is not set
# CONFIG_FB_CFB_COPYAREA is not set
# CONFIG_FB_CFB_FILLRECT is not set
# CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
CONFIG_HAS_IOPORT=y
CONFIG_HAVE_ARM_TWD=y
+CONFIG_HZ=100
CONFIG_I2C_TEGRA=y
CONFIG_INPUT_OF_MATRIX_KEYMAP=y
# CONFIG_KEYBOARD_MKBP is not set
# CONFIG_MACH_TRIMSLICE is not set
# CONFIG_MACH_VENTANA is not set
CONFIG_MACH_WARIO=y
+# CONFIG_MALI_T6XX is not set
# CONFIG_MEDIA_CONTROLLER is not set
CONFIG_MEDIA_SUPPORT=m
CONFIG_MEDIA_TUNER=m
# CONFIG_MFD_CHROMEOS_EC is not set
# CONFIG_MFD_MAX77686 is not set
# CONFIG_MFD_NVEC is not set
+# CONFIG_MFD_S5M_CORE is not set
# CONFIG_MFD_TPS65090 is not set
CONFIG_MFD_TPS6586X=y
# CONFIG_MFD_WM8994 is not set
CONFIG_MMC_SDHCI_IO_ACCESSORS=y
CONFIG_MMC_SDHCI_PLTFM=y
CONFIG_MMC_SDHCI_TEGRA=y
-# CONFIG_MOUSE_PS2 is not set
# CONFIG_NEON is not set
-# CONFIG_OABI_COMPAT is not set
CONFIG_OUTER_CACHE=y
CONFIG_OUTER_CACHE_SYNC=y
CONFIG_PAGEFLAGS_EXTENDED=y
# CONFIG_RT2500USB is not set
# CONFIG_RTC_DRV_TEGRA is not set
CONFIG_SCSI_SCAN_ASYNC=y
+# CONFIG_SENSORS_LM90 is not set
+# CONFIG_SENSORS_NTC_THERMISTOR is not set
CONFIG_SERIAL_8250_CONSOLE=y
+CONFIG_SERIAL_CORE_CONSOLE=y
CONFIG_SERIAL_OF_PLATFORM=y
# CONFIG_SMC911X is not set
CONFIG_SMC91X=m
CONFIG_TEGRA_SYSTEM_DMA=y
# CONFIG_USB_ARCH_HAS_OHCI is not set
# CONFIG_USB_ARCH_HAS_XHCI is not set
+# CONFIG_USB_DWC3 is not set
CONFIG_USB_EHCI_TEGRA=y
CONFIG_USB_OTG_UTILS=y
# CONFIG_USB_SERIAL_FTDI_SIO is not set
# CONFIG_VIDEO_VS6624 is not set
# CONFIG_VIDEO_WM8739 is not set
# CONFIG_VIDEO_WM8775 is not set
-# CONFIG_VITHAR is not set
# CONFIG_VMSPLIT_2G is not set
CONFIG_VMSPLIT_3G=y
# CONFIG_WATCHDOG is not set
-CONFIG_XFRM_USER=m
# CONFIG_XZ_DEC_X86 is not set