0001 CONFIG_SYSVIPC=y
0002 CONFIG_NO_HZ_IDLE=y
0003 CONFIG_HIGH_RES_TIMERS=y
0004 CONFIG_PREEMPT=y
0005 CONFIG_IKCONFIG=y
0006 CONFIG_IKCONFIG_PROC=y
0007 CONFIG_LOG_BUF_SHIFT=14
0008 # CONFIG_RD_GZIP is not set
0009 # CONFIG_RD_BZIP2 is not set
0010 # CONFIG_RD_LZMA is not set
0011 # CONFIG_RD_XZ is not set
0012 # CONFIG_RD_LZO is not set
0013 # CONFIG_RD_LZ4 is not set
0014 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
0015 CONFIG_PERF_EVENTS=y
0016 CONFIG_SLAB=y
0017 CONFIG_ARCH_SUNPLUS=y
0018 # CONFIG_VDSO is not set
0019 CONFIG_SMP=y
0020 CONFIG_THUMB2_KERNEL=y
0021 CONFIG_FORCE_MAX_ZONEORDER=12
0022 CONFIG_VFP=y
0023 CONFIG_NEON=y
0024 CONFIG_MODULES=y
0025 CONFIG_MODULE_UNLOAD=y
0026 CONFIG_MODVERSIONS=y
0027 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
0028 CONFIG_UEVENT_HELPER=y
0029 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
0030 CONFIG_DEVTMPFS=y
0031 CONFIG_DEVTMPFS_MOUNT=y
0032 CONFIG_BLK_DEV_LOOP=y
0033 CONFIG_INPUT_SPARSEKMAP=y
0034 CONFIG_INPUT_EVDEV=y
0035 # CONFIG_INPUT_KEYBOARD is not set
0036 # CONFIG_INPUT_MOUSE is not set
0037 # CONFIG_LEGACY_PTYS is not set
0038 # CONFIG_HW_RANDOM is not set
0039 # CONFIG_HWMON is not set
0040 # CONFIG_IOMMU_SUPPORT is not set
0041 CONFIG_RESET_CONTROLLER=y
0042 CONFIG_EXT4_FS=y
0043 # CONFIG_DNOTIFY is not set
0044 CONFIG_FANOTIFY=y
0045 CONFIG_VFAT_FS=y
0046 CONFIG_FAT_DEFAULT_IOCHARSET="utf8"
0047 CONFIG_EXFAT_FS=y
0048 CONFIG_TMPFS=y
0049 CONFIG_TMPFS_POSIX_ACL=y
0050 # CONFIG_MISC_FILESYSTEMS is not set
0051 CONFIG_NLS_CODEPAGE_437=y
0052 CONFIG_NLS_ASCII=y
0053 CONFIG_NLS_ISO8859_1=y
0054 CONFIG_NLS_UTF8=y
0055 CONFIG_PRINTK_TIME=y
0056 CONFIG_DYNAMIC_DEBUG=y
0057 CONFIG_MAGIC_SYSRQ=y
0058 CONFIG_DEBUG_FS=y
0059 CONFIG_DEBUG_USER=y
