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
27 CONFIG_MACH_STMP378X_DEVB=y
30 # CONFIG_ARM_THUMB is not set
32 CONFIG_HIGH_RES_TIMERS=y
33 CONFIG_PREEMPT_VOLUNTARY=y
35 CONFIG_DEFAULT_MMAP_MIN_ADDR=65536
36 CONFIG_AUTO_ZRELADDR=y
45 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
46 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
47 # CONFIG_INET_XFRM_MODE_BEET is not set
48 # CONFIG_INET_LRO is not set
49 # CONFIG_INET_DIAG is not set
50 # CONFIG_IPV6 is not set
56 # CONFIG_WIRELESS is not set
58 # CONFIG_FIRMWARE_IN_KERNEL is not set
59 # CONFIG_BLK_DEV is not set
63 # CONFIG_NETDEV_1000 is not set
64 # CONFIG_NETDEV_10000 is not set
65 # CONFIG_WLAN is not set
66 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
68 # CONFIG_INPUT_KEYBOARD is not set
69 # CONFIG_INPUT_MOUSE is not set
70 CONFIG_INPUT_TOUCHSCREEN=y
71 CONFIG_TOUCHSCREEN_TSC2007=m
72 # CONFIG_SERIO is not set
73 CONFIG_VT_HW_CONSOLE_BINDING=y
74 CONFIG_DEVPTS_MULTIPLE_INSTANCES=y
75 # CONFIG_LEGACY_PTYS is not set
76 # CONFIG_DEVKMEM is not set
77 CONFIG_SERIAL_AMBA_PL011=y
78 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
79 # CONFIG_HW_RANDOM is not set
81 # CONFIG_I2C_COMPAT is not set
88 # CONFIG_HWMON is not set
89 # CONFIG_MFD_SUPPORT is not set
90 CONFIG_DISPLAY_SUPPORT=m
91 # CONFIG_HID_SUPPORT is not set
92 # CONFIG_USB_SUPPORT is not set
96 CONFIG_RTC_DRV_DS1307=m
100 # CONFIG_DNOTIFY is not set
102 CONFIG_FSCACHE_STATS=y
105 CONFIG_TMPFS_POSIX_ACL=y
106 # CONFIG_MISC_FILESYSTEMS is not set
113 CONFIG_FRAME_WARN=2048
115 CONFIG_UNUSED_SYMBOLS=y
116 CONFIG_DEBUG_KERNEL=y
117 CONFIG_LOCKUP_DETECTOR=y
118 CONFIG_DETECT_HUNG_TASK=y
120 CONFIG_PROVE_LOCKING=y
121 CONFIG_DEBUG_SPINLOCK_SLEEP=y
123 CONFIG_SYSCTL_SYSCALL_CHECK=y
124 CONFIG_BLK_DEV_IO_TRACE=y
125 CONFIG_STRICT_DEVMEM=y
128 CONFIG_CRYPTO_CRC32C=m
129 # CONFIG_CRYPTO_ANSI_CPRNG is not set
130 # CONFIG_CRYPTO_HW is not set