1CONFIG_SYSVIPC=y
2CONFIG_NO_HZ_IDLE=y
3CONFIG_HIGH_RES_TIMERS=y
4CONFIG_PREEMPT=y
5CONFIG_IKCONFIG=y
6CONFIG_IKCONFIG_PROC=y
7CONFIG_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
14CONFIG_CC_OPTIMIZE_FOR_SIZE=y
15CONFIG_PERF_EVENTS=y
16CONFIG_ARCH_SUNPLUS=y
17# CONFIG_VDSO is not set
18CONFIG_SMP=y
19CONFIG_THUMB2_KERNEL=y
20CONFIG_ARCH_FORCE_MAX_ORDER=11
21CONFIG_VFP=y
22CONFIG_NEON=y
23CONFIG_MODULES=y
24CONFIG_MODULE_UNLOAD=y
25CONFIG_MODVERSIONS=y
26# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
27CONFIG_UEVENT_HELPER=y
28CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
29CONFIG_DEVTMPFS=y
30CONFIG_DEVTMPFS_MOUNT=y
31CONFIG_BLK_DEV_LOOP=y
32CONFIG_INPUT_SPARSEKMAP=y
33CONFIG_INPUT_EVDEV=y
34# CONFIG_INPUT_KEYBOARD is not set
35# CONFIG_INPUT_MOUSE is not set
36# CONFIG_LEGACY_PTYS is not set
37# CONFIG_HW_RANDOM is not set
38# CONFIG_HWMON is not set
39# CONFIG_IOMMU_SUPPORT is not set
40CONFIG_RESET_CONTROLLER=y
41CONFIG_EXT4_FS=y
42# CONFIG_DNOTIFY is not set
43CONFIG_FANOTIFY=y
44CONFIG_VFAT_FS=y
45CONFIG_FAT_DEFAULT_IOCHARSET="utf8"
46CONFIG_EXFAT_FS=y
47CONFIG_TMPFS=y
48CONFIG_TMPFS_POSIX_ACL=y
49# CONFIG_MISC_FILESYSTEMS is not set
50CONFIG_NLS_CODEPAGE_437=y
51CONFIG_NLS_ASCII=y
52CONFIG_NLS_ISO8859_1=y
53CONFIG_NLS_UTF8=y
54CONFIG_PRINTK_TIME=y
55CONFIG_DYNAMIC_DEBUG=y
56CONFIG_MAGIC_SYSRQ=y
57CONFIG_DEBUG_FS=y
58CONFIG_DEBUG_USER=y
59