1CONFIG_EXPERIMENTAL=y 2# CONFIG_SWAP is not set 3CONFIG_SYSVIPC=y 4CONFIG_SYSFS_DEPRECATED_V2=y 5CONFIG_BLK_DEV_INITRD=y 6CONFIG_KALLSYMS_ALL=y 7CONFIG_MODULES=y 8CONFIG_MODULE_UNLOAD=y 9# CONFIG_LBDAF is not set 10# CONFIG_BLK_DEV_BSG is not set 11CONFIG_ARCH_U8500=y 12CONFIG_UX500_SOC_DB5500=y 13CONFIG_UX500_SOC_DB8500=y 14CONFIG_MACH_U8500=y 15CONFIG_MACH_U5500=y 16CONFIG_SMP=y 17CONFIG_NR_CPUS=2 18CONFIG_PREEMPT=y 19CONFIG_AEABI=y 20CONFIG_CMDLINE="root=/dev/ram0 console=ttyAMA2,115200n8" 21CONFIG_VFP=y 22CONFIG_NEON=y 23CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" 24CONFIG_BLK_DEV_RAM=y 25CONFIG_BLK_DEV_RAM_SIZE=65536 26# CONFIG_MISC_DEVICES is not set 27# CONFIG_INPUT_MOUSEDEV_PSAUX is not set 28CONFIG_INPUT_EVDEV=y 29# CONFIG_INPUT_KEYBOARD is not set 30# CONFIG_INPUT_MOUSE is not set 31# CONFIG_SERIO is not set 32CONFIG_VT_HW_CONSOLE_BINDING=y 33CONFIG_SERIAL_AMBA_PL011=y 34CONFIG_SERIAL_AMBA_PL011_CONSOLE=y 35# CONFIG_LEGACY_PTYS is not set 36# CONFIG_HW_RANDOM is not set 37CONFIG_SPI=y 38CONFIG_SPI_PL022=y 39# CONFIG_HWMON is not set 40# CONFIG_VGA_CONSOLE is not set 41# CONFIG_HID_SUPPORT is not set 42# CONFIG_USB_SUPPORT is not set 43CONFIG_EXT2_FS=y 44CONFIG_EXT2_FS_XATTR=y 45CONFIG_EXT2_FS_POSIX_ACL=y 46CONFIG_EXT2_FS_SECURITY=y 47CONFIG_INOTIFY=y 48CONFIG_TMPFS=y 49CONFIG_TMPFS_POSIX_ACL=y 50CONFIG_CONFIGFS_FS=m 51# CONFIG_MISC_FILESYSTEMS is not set 52CONFIG_MAGIC_SYSRQ=y 53CONFIG_DEBUG_KERNEL=y 54# CONFIG_SCHED_DEBUG is not set 55# CONFIG_DEBUG_PREEMPT is not set 56CONFIG_DEBUG_INFO=y 57# CONFIG_RCU_CPU_STALL_DETECTOR is not set 58# CONFIG_FTRACE is not set 59CONFIG_DEBUG_USER=y 60CONFIG_DEBUG_ERRORS=y 61CONFIG_CRC_T10DIF=m 62# CONFIG_CRC32 is not set 63