| CONFIG_NO_HZ_IDLE=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_PREEMPT_VOLUNTARY=y |
| CONFIG_LOG_BUF_SHIFT=16 |
| CONFIG_CC_OPTIMIZE_FOR_SIZE=y |
| CONFIG_EXPERT=y |
| # CONFIG_UID16 is not set |
| CONFIG_BASE_SMALL=y |
| # CONFIG_FUTEX is not set |
| # CONFIG_EPOLL is not set |
| # CONFIG_SIGNALFD is not set |
| # CONFIG_EVENTFD is not set |
| # CONFIG_AIO is not set |
| # CONFIG_MMU is not set |
| CONFIG_ARCH_MPS2=y |
| CONFIG_SET_MEM_PARAM=y |
| CONFIG_DRAM_BASE=0x21000000 |
| CONFIG_DRAM_SIZE=0x1000000 |
| # CONFIG_ATAGS is not set |
| # CONFIG_SUSPEND is not set |
| # CONFIG_BLOCK is not set |
| CONFIG_BINFMT_FLAT=y |
| # CONFIG_COREDUMP is not set |
| # CONFIG_VM_EVENT_COUNTERS is not set |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| CONFIG_IP_PNP_DHCP=y |
| # CONFIG_INET_XFRM_MODE_TRANSPORT is not set |
| # CONFIG_INET_XFRM_MODE_TUNNEL is not set |
| # CONFIG_INET_XFRM_MODE_BEET is not set |
| # CONFIG_INET_DIAG is not set |
| # CONFIG_IPV6 is not set |
| # CONFIG_WIRELESS is not set |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| # CONFIG_FW_LOADER is not set |
| CONFIG_NETDEVICES=y |
| # CONFIG_NET_CORE is not set |
| # CONFIG_NET_VENDOR_ARC is not set |
| # CONFIG_NET_CADENCE is not set |
| # CONFIG_NET_VENDOR_BROADCOM is not set |
| # CONFIG_NET_VENDOR_CIRRUS is not set |
| # CONFIG_NET_VENDOR_EZCHIP is not set |
| # CONFIG_NET_VENDOR_FARADAY is not set |
| # CONFIG_NET_VENDOR_HISILICON is not set |
| # CONFIG_NET_VENDOR_INTEL is not set |
| # CONFIG_NET_VENDOR_MARVELL is not set |
| # CONFIG_NET_VENDOR_MICREL is not set |
| # CONFIG_NET_VENDOR_NATSEMI is not set |
| # CONFIG_NET_VENDOR_QUALCOMM is not set |
| # CONFIG_NET_VENDOR_RENESAS is not set |
| # CONFIG_NET_VENDOR_ROCKER is not set |
| # CONFIG_NET_VENDOR_SAMSUNG is not set |
| # CONFIG_NET_VENDOR_SEEQ is not set |
| CONFIG_SMSC911X=y |
| # CONFIG_NET_VENDOR_STMICRO is not set |
| # CONFIG_NET_VENDOR_VIA is not set |
| # CONFIG_NET_VENDOR_WIZNET is not set |
| # CONFIG_WLAN is not set |
| # CONFIG_INPUT is not set |
| # CONFIG_SERIO is not set |
| # CONFIG_VT is not set |
| # CONFIG_LEGACY_PTYS is not set |
| CONFIG_SERIAL_MPS2_UART_CONSOLE=y |
| CONFIG_SERIAL_MPS2_UART=y |
| CONFIG_SERIAL_NONSTANDARD=y |
| # CONFIG_HW_RANDOM is not set |
| # CONFIG_HWMON is not set |
| CONFIG_WATCHDOG=y |
| CONFIG_ARM_SP805_WATCHDOG=y |
| CONFIG_MFD_SYSCON=y |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_NEW_LEDS=y |
| CONFIG_LEDS_CLASS=y |
| CONFIG_LEDS_SYSCON=y |
| CONFIG_LEDS_TRIGGERS=y |
| CONFIG_LEDS_TRIGGER_TIMER=y |
| CONFIG_LEDS_TRIGGER_ONESHOT=y |
| CONFIG_LEDS_TRIGGER_HEARTBEAT=y |
| CONFIG_LEDS_TRIGGER_BACKLIGHT=y |
| CONFIG_LEDS_TRIGGER_CPU=y |
| CONFIG_LEDS_TRIGGER_DEFAULT_ON=y |
| CONFIG_ARM_TIMER_SP804=y |
| # CONFIG_DNOTIFY is not set |
| # CONFIG_INOTIFY_USER is not set |
| # CONFIG_MISC_FILESYSTEMS is not set |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V4=y |
| CONFIG_NFS_V4_1=y |
| CONFIG_NFS_V4_2=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_NLS=y |
| CONFIG_PRINTK_TIME=y |
| # CONFIG_ENABLE_MUST_CHECK is not set |
| # CONFIG_DEBUG_BUGVERBOSE is not set |
| CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y |
| CONFIG_DEBUG_FS=y |
| # CONFIG_SLUB_DEBUG is not set |
| # CONFIG_SCHED_DEBUG is not set |
| CONFIG_MEMTEST=y |