3 CONFIG_HIGH_RES_TIMERS=y
7 CONFIG_LOG_BUF_SHIFT=14
8 # CONFIG_RD_GZIP is not set
9 # CONFIG_RD_BZIP2 is not set
10 # CONFIG_RD_LZMA is not set
11 # CONFIG_RD_XZ is not set
12 # CONFIG_RD_LZO is not set
13 # CONFIG_RD_LZ4 is not set
14 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
17 # CONFIG_VDSO is not set
19 CONFIG_THUMB2_KERNEL=y
20 CONFIG_ARCH_FORCE_MAX_ORDER=12
24 CONFIG_MODULE_UNLOAD=y
26 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
28 CONFIG_UEVENT_HELPER=y
29 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
31 CONFIG_DEVTMPFS_MOUNT=y
33 CONFIG_INPUT_SPARSEKMAP=y
35 # CONFIG_INPUT_KEYBOARD is not set
36 # CONFIG_INPUT_MOUSE is not set
37 # CONFIG_LEGACY_PTYS is not set
38 # CONFIG_HW_RANDOM is not set
39 # CONFIG_HWMON is not set
40 # CONFIG_IOMMU_SUPPORT is not set
41 CONFIG_RESET_CONTROLLER=y
43 # CONFIG_DNOTIFY is not set
46 CONFIG_FAT_DEFAULT_IOCHARSET="utf8"
49 CONFIG_TMPFS_POSIX_ACL=y
50 # CONFIG_MISC_FILESYSTEMS is not set
51 CONFIG_NLS_CODEPAGE_437=y
53 CONFIG_NLS_ISO8859_1=y
56 CONFIG_DYNAMIC_DEBUG=y