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_SMP=y 13CONFIG_NR_CPUS=2 14CONFIG_PREEMPT=y 15CONFIG_AEABI=y 16CONFIG_CMDLINE="root=/dev/ram0 console=ttyAMA2,115200n8" 17CONFIG_VFP=y 18CONFIG_NEON=y 19CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" 20CONFIG_BLK_DEV_RAM=y 21CONFIG_BLK_DEV_RAM_SIZE=65536 22# CONFIG_MISC_DEVICES is not set 23# CONFIG_INPUT_MOUSEDEV_PSAUX is not set 24CONFIG_INPUT_EVDEV=y 25# CONFIG_INPUT_KEYBOARD is not set 26# CONFIG_INPUT_MOUSE is not set 27# CONFIG_SERIO is not set 28CONFIG_VT_HW_CONSOLE_BINDING=y 29CONFIG_SERIAL_AMBA_PL011=y 30CONFIG_SERIAL_AMBA_PL011_CONSOLE=y 31# CONFIG_LEGACY_PTYS is not set 32# CONFIG_HW_RANDOM is not set 33CONFIG_SPI=y 34CONFIG_SPI_PL022=y 35# CONFIG_HWMON is not set 36# CONFIG_VGA_CONSOLE is not set 37# CONFIG_HID_SUPPORT is not set 38# CONFIG_USB_SUPPORT is not set 39CONFIG_EXT2_FS=y 40CONFIG_EXT2_FS_XATTR=y 41CONFIG_EXT2_FS_POSIX_ACL=y 42CONFIG_EXT2_FS_SECURITY=y 43CONFIG_INOTIFY=y 44CONFIG_TMPFS=y 45CONFIG_TMPFS_POSIX_ACL=y 46CONFIG_CONFIGFS_FS=m 47# CONFIG_MISC_FILESYSTEMS is not set 48CONFIG_MAGIC_SYSRQ=y 49CONFIG_DEBUG_KERNEL=y 50# CONFIG_SCHED_DEBUG is not set 51# CONFIG_DEBUG_PREEMPT is not set 52CONFIG_DEBUG_INFO=y 53# CONFIG_RCU_CPU_STALL_DETECTOR is not set 54# CONFIG_FTRACE is not set 55CONFIG_DEBUG_USER=y 56CONFIG_DEBUG_ERRORS=y 57CONFIG_CRC_T10DIF=m 58# CONFIG_CRC32 is not set 59