3 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_TASK_DELAY_ACCT=y
7 CONFIG_TASK_IO_ACCOUNTING=y
10 # CONFIG_UTS_NS is not set
11 # CONFIG_IPC_NS is not set
12 # CONFIG_PID_NS is not set
13 # CONFIG_NET_NS is not set
15 # CONFIG_COMPAT_BRK is not set
17 CONFIG_MODULE_FORCE_LOAD=y
18 CONFIG_MODULE_UNLOAD=y
19 CONFIG_MODULE_FORCE_UNLOAD=y
21 CONFIG_BLK_DEV_INTEGRITY=y
22 # CONFIG_IOSCHED_DEADLINE is not set
23 # CONFIG_IOSCHED_CFQ is not set
24 # CONFIG_ARCH_MULTI_V7 is not set
26 # CONFIG_ARM_THUMB is not set
27 CONFIG_PREEMPT_VOLUNTARY=y
36 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
37 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
38 # CONFIG_INET_XFRM_MODE_BEET is not set
39 # CONFIG_INET_LRO is not set
40 # CONFIG_INET_DIAG is not set
41 # CONFIG_IPV6 is not set
44 # CONFIG_WIRELESS is not set
46 CONFIG_DEVTMPFS_MOUNT=y
47 # CONFIG_FIRMWARE_IN_KERNEL is not set
49 CONFIG_MTD_CMDLINE_PARTS=y
51 CONFIG_MTD_DATAFLASH=y
55 CONFIG_MTD_NAND_GPMI_NAND=y
58 # CONFIG_BLK_DEV is not set
69 CONFIG_USB_NET_SMSC95XX=y
70 # CONFIG_WLAN is not set
71 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
73 # CONFIG_INPUT_KEYBOARD is not set
74 # CONFIG_INPUT_MOUSE is not set
75 CONFIG_INPUT_TOUCHSCREEN=y
76 CONFIG_TOUCHSCREEN_TSC2007=m
77 # CONFIG_SERIO is not set
78 CONFIG_DEVPTS_MULTIPLE_INSTANCES=y
79 # CONFIG_LEGACY_PTYS is not set
80 # CONFIG_DEVKMEM is not set
81 CONFIG_SERIAL_AMBA_PL011=y
82 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
83 CONFIG_SERIAL_MXS_AUART=y
84 # CONFIG_HW_RANDOM is not set
86 # CONFIG_I2C_COMPAT is not set
93 # CONFIG_HWMON is not set
95 CONFIG_STMP3XXX_RTC_WATCHDOG=y
97 CONFIG_REGULATOR_FIXED_VOLTAGE=y
100 CONFIG_BACKLIGHT_LCD_SUPPORT=y
101 CONFIG_LCD_CLASS_DEVICE=y
102 CONFIG_BACKLIGHT_CLASS_DEVICE=y
103 CONFIG_BACKLIGHT_PWM=y
104 CONFIG_FRAMEBUFFER_CONSOLE=y
110 CONFIG_SND_SOC_MXS_SGTL5000=y
112 CONFIG_USB_EHCI_HCD=y
114 CONFIG_USB_CHIPIDEA=y
115 CONFIG_USB_CHIPIDEA_UDC=y
116 CONFIG_USB_CHIPIDEA_HOST=y
120 CONFIG_USB_MASS_STORAGE=m
126 CONFIG_LEDS_TRIGGERS=y
127 CONFIG_LEDS_TRIGGER_TIMER=y
128 CONFIG_LEDS_TRIGGER_ONESHOT=y
129 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
130 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
131 CONFIG_LEDS_TRIGGER_GPIO=y
133 CONFIG_RTC_DRV_DS1307=m
134 CONFIG_RTC_DRV_STMP=y
140 CONFIG_IIO_SYSFS_TRIGGER=y
144 CONFIG_EXT2_FS_XATTR=y
147 # CONFIG_DNOTIFY is not set
149 CONFIG_FSCACHE_STATS=y
152 CONFIG_TMPFS_POSIX_ACL=y
154 CONFIG_JFFS2_COMPRESSION_OPTIONS=y
158 CONFIG_UBIFS_FS_ADVANCED_COMPR=y
163 CONFIG_NLS_CODEPAGE_437=y
164 CONFIG_NLS_CODEPAGE_850=y
165 CONFIG_NLS_ISO8859_1=y
166 CONFIG_NLS_ISO8859_15=y
169 CONFIG_FRAME_WARN=2048
170 CONFIG_UNUSED_SYMBOLS=y
172 CONFIG_DEBUG_KERNEL=y
173 CONFIG_LOCKUP_DETECTOR=y
175 CONFIG_PROVE_LOCKING=y
176 CONFIG_BLK_DEV_IO_TRACE=y
177 CONFIG_STRICT_DEVMEM=y
179 # CONFIG_CRYPTO_ANSI_CPRNG is not set
180 CONFIG_CRYPTO_DEV_MXS_DCP=y