4 CONFIG_TASK_DELAY_ACCT=y
6 CONFIG_TASK_IO_ACCOUNTING=y
9 # CONFIG_UTS_NS is not set
10 # CONFIG_IPC_NS is not set
11 # CONFIG_USER_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
28 CONFIG_MACH_STMP378X_DEVB=y
31 CONFIG_MACH_APX4DEVKIT=y
32 # CONFIG_ARM_THUMB is not set
34 CONFIG_HIGH_RES_TIMERS=y
35 CONFIG_PREEMPT_VOLUNTARY=y
37 CONFIG_AUTO_ZRELADDR=y
46 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
47 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
48 # CONFIG_INET_XFRM_MODE_BEET is not set
49 # CONFIG_INET_LRO is not set
50 # CONFIG_INET_DIAG is not set
51 # CONFIG_IPV6 is not set
57 # CONFIG_WIRELESS is not set
59 # CONFIG_FIRMWARE_IN_KERNEL is not set
60 # CONFIG_BLK_DEV is not set
63 CONFIG_MTD_DATAFLASH=y
66 CONFIG_MTD_NAND_GPMI_NAND=y
70 # CONFIG_NETDEV_1000 is not set
71 # CONFIG_NETDEV_10000 is not set
72 # CONFIG_WLAN is not set
73 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
75 # CONFIG_INPUT_KEYBOARD is not set
76 # CONFIG_INPUT_MOUSE is not set
77 CONFIG_INPUT_TOUCHSCREEN=y
78 CONFIG_TOUCHSCREEN_TSC2007=m
79 # CONFIG_SERIO is not set
80 CONFIG_VT_HW_CONSOLE_BINDING=y
81 CONFIG_DEVPTS_MULTIPLE_INSTANCES=y
82 # CONFIG_LEGACY_PTYS is not set
83 # CONFIG_DEVKMEM is not set
84 CONFIG_SERIAL_AMBA_PL011=y
85 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
86 CONFIG_SERIAL_MXS_AUART=y
87 # CONFIG_HW_RANDOM is not set
89 # CONFIG_I2C_COMPAT is not set
97 # CONFIG_HWMON is not set
98 # CONFIG_MFD_SUPPORT is not set
99 CONFIG_DISPLAY_SUPPORT=m
100 # CONFIG_HID_SUPPORT is not set
110 CONFIG_SND_SOC_MXS_SGTL5000=y
111 CONFIG_SND_SOC_I2C_AND_SPI=y
112 CONFIG_SND_SOC_SGTL5000=y
114 CONFIG_REGULATOR_FIXED_VOLTAGE=y
117 CONFIG_BACKLIGHT_LCD_SUPPORT=y
118 CONFIG_LCD_CLASS_DEVICE=y
119 CONFIG_BACKLIGHT_CLASS_DEVICE=y
120 CONFIG_BACKLIGHT_PWM=y
121 CONFIG_FRAMEBUFFER_CONSOLE=y
125 CONFIG_USB_CHIPIDEA=y
126 CONFIG_USB_CHIPIDEA_HOST=y
136 CONFIG_LEDS_TRIGGERS=y
137 CONFIG_LEDS_TRIGGER_TIMER=y
138 CONFIG_LEDS_TRIGGER_ONESHOT=y
139 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
140 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
141 CONFIG_LEDS_TRIGGER_GPIO=y
143 CONFIG_RTC_DRV_DS1307=m
144 CONFIG_RTC_DRV_STMP=y
149 CONFIG_IIO_SYSFS_TRIGGER=y
150 CONFIG_COMMON_CLK_DEBUG=y
155 # CONFIG_DNOTIFY is not set
157 CONFIG_FSCACHE_STATS=y
160 CONFIG_TMPFS_POSIX_ACL=y
161 # CONFIG_MISC_FILESYSTEMS is not set
168 CONFIG_FRAME_WARN=2048
170 CONFIG_UNUSED_SYMBOLS=y
171 CONFIG_DEBUG_KERNEL=y
172 CONFIG_LOCKUP_DETECTOR=y
173 CONFIG_DETECT_HUNG_TASK=y
175 CONFIG_PROVE_LOCKING=y
176 CONFIG_DEBUG_SPINLOCK_SLEEP=y
178 CONFIG_SYSCTL_SYSCALL_CHECK=y
179 CONFIG_BLK_DEV_IO_TRACE=y
180 CONFIG_STRICT_DEVMEM=y
183 CONFIG_CRYPTO_CRC32C=m
184 # CONFIG_CRYPTO_ANSI_CPRNG is not set
185 # CONFIG_CRYPTO_HW is not set