| CONFIG_SYSVIPC=y |
| CONFIG_NO_HZ_IDLE=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_PREEMPT=y |
| CONFIG_LOG_BUF_SHIFT=14 |
| CONFIG_SYSFS_DEPRECATED_V2=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_ARCH_MMP=y |
| CONFIG_CMDLINE="root=/dev/nfs rootfstype=nfs nfsroot=192.168.2.100:/nfsroot/ ip=192.168.2.101:192.168.2.100::255.255.255.0::eth0:on console=ttyS0,115200 mem=128M earlyprintk" |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_MODULE_FORCE_UNLOAD=y |
| # CONFIG_BLK_DEV_BSG is not set |
| CONFIG_MACH_TAVOREVB=y |
| CONFIG_MACH_TTC_DKB=y |
| CONFIG_AEABI=y |
| CONFIG_FPE_NWFPE=y |
| CONFIG_SLAB=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| # CONFIG_IPV6 is not set |
| # CONFIG_STANDALONE is not set |
| # CONFIG_PREVENT_FIRMWARE_BUILD is not set |
| # CONFIG_BLK_DEV is not set |
| CONFIG_NETDEVICES=y |
| CONFIG_NET_ETHERNET=y |
| CONFIG_SMC91X=y |
| # CONFIG_INPUT_MOUSEDEV_PSAUX is not set |
| # CONFIG_INPUT_KEYBOARD is not set |
| # CONFIG_INPUT_MOUSE is not set |
| # CONFIG_SERIO is not set |
| # CONFIG_LEGACY_PTYS is not set |
| CONFIG_SERIAL_PXA=y |
| CONFIG_SERIAL_PXA_CONSOLE=y |
| # CONFIG_HW_RANDOM is not set |
| CONFIG_SPI=y |
| # CONFIG_HWMON is not set |
| CONFIG_FB=y |
| CONFIG_MMP_DISP=y |
| CONFIG_MMP_DISP_CONTROLLER=y |
| CONFIG_MMP_SPI=y |
| CONFIG_MMP_PANEL_TPOHVGA=y |
| CONFIG_MMP_FB=y |
| CONFIG_LOGO=y |
| # CONFIG_VGA_CONSOLE is not set |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_CRAMFS=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V3=y |
| CONFIG_NFS_V3_ACL=y |
| CONFIG_NFS_V4=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_CRC_CCITT=y |
| CONFIG_PRINTK_TIME=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y |
| CONFIG_MAGIC_SYSRQ=y |
| # CONFIG_DEBUG_PREEMPT is not set |
| CONFIG_DEBUG_USER=y |
| CONFIG_DEBUG_LL=y |
| CONFIG_DEBUG_MMP_UART2=y |
| CONFIG_EARLY_PRINTK=y |
| # CONFIG_CRYPTO_ANSI_CPRNG is not set |