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=12
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_SLAB=y
28CONFIG_UEVENT_HELPER=y
29CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
30CONFIG_DEVTMPFS=y
31CONFIG_DEVTMPFS_MOUNT=y
32CONFIG_BLK_DEV_LOOP=y
33CONFIG_INPUT_SPARSEKMAP=y
34CONFIG_INPUT_EVDEV=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
41CONFIG_RESET_CONTROLLER=y
42CONFIG_EXT4_FS=y
43# CONFIG_DNOTIFY is not set
44CONFIG_FANOTIFY=y
45CONFIG_VFAT_FS=y
46CONFIG_FAT_DEFAULT_IOCHARSET="utf8"
47CONFIG_EXFAT_FS=y
48CONFIG_TMPFS=y
49CONFIG_TMPFS_POSIX_ACL=y
50# CONFIG_MISC_FILESYSTEMS is not set
51CONFIG_NLS_CODEPAGE_437=y
52CONFIG_NLS_ASCII=y
53CONFIG_NLS_ISO8859_1=y
54CONFIG_NLS_UTF8=y
55CONFIG_PRINTK_TIME=y
56CONFIG_DYNAMIC_DEBUG=y
57CONFIG_MAGIC_SYSRQ=y
58CONFIG_DEBUG_FS=y
59CONFIG_DEBUG_USER=y
60