0001 CONFIG_NO_HZ_IDLE=y
0002 CONFIG_HIGH_RES_TIMERS=y
0003 CONFIG_PREEMPT_VOLUNTARY=y
0004 CONFIG_LOG_BUF_SHIFT=16
0005 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
0006 CONFIG_EXPERT=y
0007 # CONFIG_UID16 is not set
0008 # CONFIG_BASE_FULL is not set
0009 # CONFIG_FUTEX is not set
0010 # CONFIG_EPOLL is not set
0011 # CONFIG_SIGNALFD is not set
0012 # CONFIG_EVENTFD is not set
0013 # CONFIG_AIO is not set
0014 # CONFIG_MMU is not set
0015 CONFIG_ARCH_MPS2=y
0016 CONFIG_SET_MEM_PARAM=y
0017 CONFIG_DRAM_BASE=0x21000000
0018 CONFIG_DRAM_SIZE=0x1000000
0019 # CONFIG_ATAGS is not set
0020 # CONFIG_SUSPEND is not set
0021 # CONFIG_BLOCK is not set
0022 CONFIG_BINFMT_FLAT=y
0023 # CONFIG_COREDUMP is not set
0024 # CONFIG_VM_EVENT_COUNTERS is not set
0025 CONFIG_NET=y
0026 CONFIG_PACKET=y
0027 CONFIG_UNIX=y
0028 CONFIG_INET=y
0029 CONFIG_IP_PNP=y
0030 CONFIG_IP_PNP_DHCP=y
0031 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
0032 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
0033 # CONFIG_INET_XFRM_MODE_BEET is not set
0034 # CONFIG_INET_DIAG is not set
0035 # CONFIG_IPV6 is not set
0036 # CONFIG_WIRELESS is not set
0037 CONFIG_DEVTMPFS=y
0038 CONFIG_DEVTMPFS_MOUNT=y
0039 # CONFIG_FW_LOADER is not set
0040 CONFIG_NETDEVICES=y
0041 # CONFIG_NET_CORE is not set
0042 # CONFIG_NET_VENDOR_ARC is not set
0043 # CONFIG_NET_CADENCE is not set
0044 # CONFIG_NET_VENDOR_BROADCOM is not set
0045 # CONFIG_NET_VENDOR_CIRRUS is not set
0046 # CONFIG_NET_VENDOR_EZCHIP is not set
0047 # CONFIG_NET_VENDOR_FARADAY is not set
0048 # CONFIG_NET_VENDOR_HISILICON is not set
0049 # CONFIG_NET_VENDOR_INTEL is not set
0050 # CONFIG_NET_VENDOR_MARVELL is not set
0051 # CONFIG_NET_VENDOR_MICREL is not set
0052 # CONFIG_NET_VENDOR_NATSEMI is not set
0053 # CONFIG_NET_VENDOR_QUALCOMM is not set
0054 # CONFIG_NET_VENDOR_RENESAS is not set
0055 # CONFIG_NET_VENDOR_ROCKER is not set
0056 # CONFIG_NET_VENDOR_SAMSUNG is not set
0057 # CONFIG_NET_VENDOR_SEEQ is not set
0058 CONFIG_SMSC911X=y
0059 # CONFIG_NET_VENDOR_STMICRO is not set
0060 # CONFIG_NET_VENDOR_VIA is not set
0061 # CONFIG_NET_VENDOR_WIZNET is not set
0062 # CONFIG_WLAN is not set
0063 # CONFIG_INPUT is not set
0064 # CONFIG_SERIO is not set
0065 # CONFIG_VT is not set
0066 # CONFIG_LEGACY_PTYS is not set
0067 CONFIG_SERIAL_MPS2_UART_CONSOLE=y
0068 CONFIG_SERIAL_MPS2_UART=y
0069 CONFIG_SERIAL_NONSTANDARD=y
0070 # CONFIG_HW_RANDOM is not set
0071 # CONFIG_HWMON is not set
0072 CONFIG_WATCHDOG=y
0073 CONFIG_ARM_SP805_WATCHDOG=y
0074 CONFIG_MFD_SYSCON=y
0075 # CONFIG_USB_SUPPORT is not set
0076 CONFIG_NEW_LEDS=y
0077 CONFIG_LEDS_CLASS=y
0078 CONFIG_LEDS_SYSCON=y
0079 CONFIG_LEDS_TRIGGERS=y
0080 CONFIG_LEDS_TRIGGER_TIMER=y
0081 CONFIG_LEDS_TRIGGER_ONESHOT=y
0082 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
0083 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
0084 CONFIG_LEDS_TRIGGER_CPU=y
0085 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
0086 CONFIG_ARM_TIMER_SP804=y
0087 # CONFIG_DNOTIFY is not set
0088 # CONFIG_INOTIFY_USER is not set
0089 # CONFIG_MISC_FILESYSTEMS is not set
0090 CONFIG_NFS_FS=y
0091 CONFIG_NFS_V4=y
0092 CONFIG_NFS_V4_1=y
0093 CONFIG_NFS_V4_2=y
0094 CONFIG_ROOT_NFS=y
0095 CONFIG_NLS=y
0096 CONFIG_PRINTK_TIME=y
0097 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
0098 # CONFIG_ENABLE_MUST_CHECK is not set
0099 # CONFIG_DEBUG_BUGVERBOSE is not set
0100 CONFIG_DEBUG_FS=y
0101 # CONFIG_SLUB_DEBUG is not set
0102 # CONFIG_SCHED_DEBUG is not set
0103 CONFIG_MEMTEST=y
