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