1 # CONFIG_LOCALVERSION_AUTO is not set
2 # CONFIG_SWAP is not set
3 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
4 # CONFIG_COMPAT_BRK is not set
5 # CONFIG_IOSCHED_DEADLINE is not set
6 # CONFIG_IOSCHED_CFQ is not set
8 # CONFIG_MACH_MX31ADS is not set
18 # CONFIG_INET_LRO is not set
19 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
20 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
21 # CONFIG_FIRMWARE_IN_KERNEL is not set
22 # CONFIG_BLK_DEV is not set
23 # CONFIG_MISC_DEVICES is not set
26 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
27 # CONFIG_INPUT_KEYBOARD is not set
28 # CONFIG_INPUT_MOUSE is not set
29 # CONFIG_SERIO is not set
30 # CONFIG_DEVKMEM is not set
32 CONFIG_SERIAL_IMX_CONSOLE=y
33 # CONFIG_LEGACY_PTYS is not set
34 # CONFIG_HW_RANDOM is not set
35 # CONFIG_HWMON is not set
36 # CONFIG_VGA_CONSOLE is not set
37 # CONFIG_HID_SUPPORT is not set
38 # CONFIG_USB_SUPPORT is not set
39 # CONFIG_DNOTIFY is not set
40 # CONFIG_ENABLE_WARN_DEPRECATED is not set
41 # CONFIG_ENABLE_MUST_CHECK is not set
42 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
43 # CONFIG_CRYPTO_ANSI_CPRNG is not set
44 # CONFIG_CRC32 is not set