CONFIG_BT_MRVL_SDIO=m
CONFIG_BUSFREQ_OPP=y
# CONFIG_CACHE_L2X0 is not set
+CONFIG_CHARGER_CHROMEOS_EC=y
CONFIG_CHARGER_TPS65090=y
CONFIG_CHROMEOS_RAMOOPS_RAM_START=0x41f00000
CONFIG_CMDLINE="root=/dev/nfs rw nfsroot=192.168.0.10:/media/opt/cramfs console=ttySAC2,115200 ip=192.168.0.20:192.168.0.10:192.168.0.1:255.255.255.0:test::off init=/linuxrc"
# CONFIG_DMADEVICES_DEBUG is not set
# CONFIG_DMATEST is not set
CONFIG_DMA_ENGINE=y
-CONFIG_DMA_SHARED_BUFFER=y
CONFIG_DMA_SHARED_BUFFER_USES_KDS=y
CONFIG_DRM=y
CONFIG_DRM_EXYNOS=y
CONFIG_FB_CFB_IMAGEBLIT=y
CONFIG_FB_EXYNOS_FIMD_V8=y
CONFIG_FB_MIPI_DSIM=y
-# CONFIG_FPE_FASTFPE is not set
-# CONFIG_FPE_NWFPE is not set
CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
CONFIG_GENERIC_IRQ_CHIP=y
# CONFIG_GPIO_PL061 is not set
CONFIG_I2C_S3C2410=y
# CONFIG_INPUT_PWM_BEEPER is not set
CONFIG_IOMMU_API=y
-CONFIG_KDS=y
CONFIG_KEYBOARD_MKBP=y
# CONFIG_KS8842 is not set
# CONFIG_LCD_AMS369FG06 is not set
CONFIG_NEON=y
# CONFIG_NET_DMA is not set
CONFIG_NO_IOPORT=y
-CONFIG_OABI_COMPAT=y
# CONFIG_OC_ETM is not set
CONFIG_PAGE_OFFSET=0x80000000
CONFIG_PL330_DMA=y
# CONFIG_RTC_DRV_PL030 is not set
# CONFIG_RTC_DRV_PL031 is not set
CONFIG_RTC_DRV_S3C=y
+CONFIG_RTC_DRV_S5M=y
CONFIG_S3C2410_WATCHDOG=y
CONFIG_S3C24XX_PWM=y
CONFIG_S3C_ADC=y