3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_BLK_DEV_INITRD=y
8 # CONFIG_BLK_DEV_BSG is not set
9 CONFIG_PARTITION_ADVANCED=y
11 CONFIG_S3C_LOWLEVEL_UART_PORT=3
14 CONFIG_MACH_EXYNOS4_DT=y
20 CONFIG_ZBOOT_ROM_TEXT=0x0
21 CONFIG_ZBOOT_ROM_BSS=0x0
22 CONFIG_ARM_APPENDED_DTB=y
23 CONFIG_ARM_ATAG_DTB_COMPAT=y
24 CONFIG_CMDLINE="root=/dev/ram0 rw ramdisk=8192 initrd=0x41000000,8M console=ttySAC1,115200 init=/linuxrc mem=256M"
32 CONFIG_RFKILL_REGULATOR=y
33 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
35 CONFIG_DEVTMPFS_MOUNT=y
36 CONFIG_PROC_DEVICETREE=y
38 CONFIG_BLK_DEV_CRYPTOLOOP=y
40 CONFIG_BLK_DEV_RAM_SIZE=8192
50 CONFIG_USB_NET_SMSC75XX=y
51 CONFIG_USB_NET_SMSC95XX=y
53 CONFIG_KEYBOARD_GPIO=y
54 CONFIG_KEYBOARD_CROS_EC=y
55 # CONFIG_MOUSE_PS2 is not set
57 CONFIG_INPUT_TOUCHSCREEN=y
59 CONFIG_SERIAL_SAMSUNG=y
60 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
61 CONFIG_SERIAL_OF_PLATFORM=y
64 CONFIG_TCG_TIS_I2C_INFINEON=y
67 CONFIG_I2C_ARB_GPIO_CHALLENGE=y
70 # CONFIG_HWMON is not set
72 CONFIG_MFD_CROS_EC_I2C=y
78 CONFIG_REGULATOR_FIXED_VOLTAGE=y
79 CONFIG_REGULATOR_GPIO=y
80 CONFIG_REGULATOR_MAX8997=y
81 CONFIG_REGULATOR_MAX77686=y
82 CONFIG_REGULATOR_S5M8767=y
83 CONFIG_REGULATOR_TPS65090=y
85 CONFIG_FB_MODE_HELPERS=y
88 CONFIG_EXYNOS_MIPI_DSI=y
90 CONFIG_FRAMEBUFFER_CONSOLE=y
100 CONFIG_SAMSUNG_USB2PHY=y
101 CONFIG_SAMSUNG_USB3PHY=y
104 CONFIG_MMC_SDHCI_S3C=y
106 CONFIG_MMC_DW_IDMAC=y
107 CONFIG_MMC_DW_EXYNOS=y
110 CONFIG_COMMON_CLK_MAX77686=y
117 CONFIG_TMPFS_POSIX_ACL=y
120 CONFIG_NLS_CODEPAGE_437=y
122 CONFIG_NLS_ISO8859_1=y
125 CONFIG_DEBUG_KERNEL=y
126 CONFIG_DETECT_HUNG_TASK=y
127 CONFIG_DEBUG_RT_MUTEXES=y
128 CONFIG_DEBUG_SPINLOCK=y
129 CONFIG_DEBUG_MUTEXES=y
132 CONFIG_CRYPTO_SHA256=y