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_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