| CONFIG_EXPERIMENTAL=y |
| # CONFIG_SWAP is not set |
| CONFIG_SYSVIPC=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_UX500_SOC_DB5500=y |
| CONFIG_UX500_SOC_DB8500=y |
| CONFIG_MACH_U8500=y |
| CONFIG_MACH_U5500=y |
| CONFIG_NO_HZ=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=2 |
| CONFIG_HOTPLUG_CPU=y |
| CONFIG_PREEMPT=y |
| CONFIG_AEABI=y |
| CONFIG_CMDLINE="root=/dev/ram0 console=ttyAMA2,115200n8" |
| CONFIG_CPU_FREQ=y |
| CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_NET=y |
| CONFIG_PHONET=y |
| CONFIG_PHONET_PIPECTRLR=y |
| # CONFIG_WIRELESS is not set |
| CONFIG_CAIF=y |
| CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_BLK_DEV_RAM_SIZE=65536 |
| CONFIG_MISC_DEVICES=y |
| CONFIG_AB8500_PWM=y |
| CONFIG_SENSORS_BH1780=y |
| # CONFIG_INPUT_MOUSEDEV_PSAUX is not set |
| CONFIG_INPUT_EVDEV=y |
| # CONFIG_KEYBOARD_ATKBD is not set |
| CONFIG_KEYBOARD_GPIO=y |
| CONFIG_KEYBOARD_NOMADIK=y |
| CONFIG_KEYBOARD_STMPE=y |
| CONFIG_KEYBOARD_TC3589X=y |
| # CONFIG_INPUT_MOUSE is not set |
| CONFIG_INPUT_TOUCHSCREEN=y |
| CONFIG_TOUCHSCREEN_BU21013=y |
| CONFIG_INPUT_MISC=y |
| CONFIG_INPUT_AB8500_PONKEY=y |
| # 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=y |
| CONFIG_HW_RANDOM_NOMADIK=y |
| CONFIG_I2C=y |
| CONFIG_I2C_NOMADIK=y |
| CONFIG_SPI=y |
| CONFIG_SPI_PL022=y |
| CONFIG_GPIO_STMPE=y |
| CONFIG_GPIO_TC3589X=y |
| # CONFIG_HWMON is not set |
| CONFIG_MFD_STMPE=y |
| CONFIG_MFD_TC3589X=y |
| CONFIG_AB8500_CORE=y |
| CONFIG_REGULATOR=y |
| CONFIG_REGULATOR_AB8500=y |
| # CONFIG_HID_SUPPORT is not set |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_MMC=y |
| CONFIG_MMC_ARMMMCI=y |
| CONFIG_NEW_LEDS=y |
| CONFIG_LEDS_CLASS=y |
| CONFIG_LEDS_LP5521=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_AB8500=y |
| CONFIG_RTC_DRV_PL031=y |
| CONFIG_DMADEVICES=y |
| CONFIG_STE_DMA40=y |
| CONFIG_STAGING=y |
| # CONFIG_STAGING_EXCLUDE_BUILD is not set |
| CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4=y |
| CONFIG_EXT2_FS=y |
| CONFIG_EXT2_FS_XATTR=y |
| CONFIG_EXT2_FS_POSIX_ACL=y |
| CONFIG_EXT2_FS_SECURITY=y |
| CONFIG_EXT3_FS=y |
| CONFIG_VFAT_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_CONFIGFS_FS=m |
| # CONFIG_MISC_FILESYSTEMS is not set |
| CONFIG_NLS_CODEPAGE_437=y |
| CONFIG_NLS_ISO8859_1=y |
| CONFIG_MAGIC_SYSRQ=y |
| CONFIG_DEBUG_FS=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 |