| CONFIG_EXPERIMENTAL=y |
| # CONFIG_SWAP is not set |
| CONFIG_SYSVIPC=y |
| CONFIG_SYSFS_DEPRECATED_V2=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_KALLSYMS_ALL=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| # CONFIG_LBDAF is not set |
| # CONFIG_BLK_DEV_BSG is not set |
| CONFIG_ARCH_U8500=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=2 |
| CONFIG_PREEMPT=y |
| CONFIG_AEABI=y |
| CONFIG_CMDLINE="root=/dev/ram0 console=ttyAMA2,115200n8" |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_BLK_DEV_RAM_SIZE=65536 |
| # CONFIG_MISC_DEVICES is not set |
| # CONFIG_INPUT_MOUSEDEV_PSAUX is not set |
| CONFIG_INPUT_EVDEV=y |
| # CONFIG_INPUT_KEYBOARD is not set |
| # CONFIG_INPUT_MOUSE is not set |
| # CONFIG_SERIO is not set |
| CONFIG_VT_HW_CONSOLE_BINDING=y |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| # CONFIG_LEGACY_PTYS is not set |
| # CONFIG_HW_RANDOM is not set |
| CONFIG_SPI=y |
| CONFIG_SPI_PL022=y |
| # CONFIG_HWMON is not set |
| # CONFIG_VGA_CONSOLE is not set |
| # CONFIG_HID_SUPPORT is not set |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_EXT2_FS=y |
| CONFIG_EXT2_FS_XATTR=y |
| CONFIG_EXT2_FS_POSIX_ACL=y |
| CONFIG_EXT2_FS_SECURITY=y |
| CONFIG_INOTIFY=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_CONFIGFS_FS=m |
| # CONFIG_MISC_FILESYSTEMS is not set |
| CONFIG_MAGIC_SYSRQ=y |
| CONFIG_DEBUG_KERNEL=y |
| # CONFIG_SCHED_DEBUG is not set |
| # CONFIG_DEBUG_PREEMPT is not set |
| CONFIG_DEBUG_INFO=y |
| # CONFIG_RCU_CPU_STALL_DETECTOR is not set |
| # CONFIG_FTRACE is not set |
| CONFIG_DEBUG_USER=y |
| CONFIG_DEBUG_ERRORS=y |
| CONFIG_CRC_T10DIF=m |
| # CONFIG_CRC32 is not set |