1CONFIG_NO_HZ_IDLE=y 2CONFIG_HIGH_RES_TIMERS=y 3CONFIG_PREEMPT_VOLUNTARY=y 4CONFIG_LOG_BUF_SHIFT=16 5CONFIG_CC_OPTIMIZE_FOR_SIZE=y 6CONFIG_EXPERT=y 7# CONFIG_UID16 is not set 8# CONFIG_BASE_FULL is not set 9# CONFIG_FUTEX is not set 10# CONFIG_EPOLL is not set 11# CONFIG_SIGNALFD is not set 12# CONFIG_EVENTFD is not set 13# CONFIG_AIO is not set 14# CONFIG_MMU is not set 15CONFIG_ARCH_MPS2=y 16CONFIG_SET_MEM_PARAM=y 17CONFIG_DRAM_BASE=0x21000000 18CONFIG_DRAM_SIZE=0x1000000 19# CONFIG_ATAGS is not set 20# CONFIG_SUSPEND is not set 21# CONFIG_BLOCK is not set 22CONFIG_BINFMT_FLAT=y 23# CONFIG_COREDUMP is not set 24# CONFIG_VM_EVENT_COUNTERS is not set 25CONFIG_NET=y 26CONFIG_PACKET=y 27CONFIG_UNIX=y 28CONFIG_INET=y 29CONFIG_IP_PNP=y 30CONFIG_IP_PNP_DHCP=y 31# CONFIG_INET_XFRM_MODE_TRANSPORT is not set 32# CONFIG_INET_XFRM_MODE_TUNNEL is not set 33# CONFIG_INET_XFRM_MODE_BEET is not set 34# CONFIG_INET_DIAG is not set 35# CONFIG_IPV6 is not set 36# CONFIG_WIRELESS is not set 37CONFIG_DEVTMPFS=y 38CONFIG_DEVTMPFS_MOUNT=y 39# CONFIG_FW_LOADER is not set 40CONFIG_NETDEVICES=y 41# CONFIG_NET_CORE is not set 42# CONFIG_NET_VENDOR_ARC is not set 43# CONFIG_NET_CADENCE is not set 44# CONFIG_NET_VENDOR_BROADCOM is not set 45# CONFIG_NET_VENDOR_CIRRUS is not set 46# CONFIG_NET_VENDOR_EZCHIP is not set 47# CONFIG_NET_VENDOR_FARADAY is not set 48# CONFIG_NET_VENDOR_HISILICON is not set 49# CONFIG_NET_VENDOR_INTEL is not set 50# CONFIG_NET_VENDOR_MARVELL is not set 51# CONFIG_NET_VENDOR_MICREL is not set 52# CONFIG_NET_VENDOR_NATSEMI is not set 53# CONFIG_NET_VENDOR_QUALCOMM is not set 54# CONFIG_NET_VENDOR_RENESAS is not set 55# CONFIG_NET_VENDOR_ROCKER is not set 56# CONFIG_NET_VENDOR_SAMSUNG is not set 57# CONFIG_NET_VENDOR_SEEQ is not set 58CONFIG_SMSC911X=y 59# CONFIG_NET_VENDOR_STMICRO is not set 60# CONFIG_NET_VENDOR_VIA is not set 61# CONFIG_NET_VENDOR_WIZNET is not set 62# CONFIG_WLAN is not set 63# CONFIG_INPUT is not set 64# CONFIG_SERIO is not set 65# CONFIG_VT is not set 66# CONFIG_LEGACY_PTYS is not set 67CONFIG_SERIAL_MPS2_UART_CONSOLE=y 68CONFIG_SERIAL_MPS2_UART=y 69CONFIG_SERIAL_NONSTANDARD=y 70# CONFIG_HW_RANDOM is not set 71# CONFIG_HWMON is not set 72CONFIG_WATCHDOG=y 73CONFIG_ARM_SP805_WATCHDOG=y 74CONFIG_MFD_SYSCON=y 75# CONFIG_USB_SUPPORT is not set 76CONFIG_NEW_LEDS=y 77CONFIG_LEDS_CLASS=y 78CONFIG_LEDS_SYSCON=y 79CONFIG_LEDS_TRIGGERS=y 80CONFIG_LEDS_TRIGGER_TIMER=y 81CONFIG_LEDS_TRIGGER_ONESHOT=y 82CONFIG_LEDS_TRIGGER_HEARTBEAT=y 83CONFIG_LEDS_TRIGGER_BACKLIGHT=y 84CONFIG_LEDS_TRIGGER_CPU=y 85CONFIG_LEDS_TRIGGER_DEFAULT_ON=y 86CONFIG_ARM_TIMER_SP804=y 87# CONFIG_DNOTIFY is not set 88# CONFIG_INOTIFY_USER is not set 89# CONFIG_MISC_FILESYSTEMS is not set 90CONFIG_NFS_FS=y 91CONFIG_NFS_V4=y 92CONFIG_NFS_V4_1=y 93CONFIG_NFS_V4_2=y 94CONFIG_ROOT_NFS=y 95CONFIG_NLS=y 96CONFIG_PRINTK_TIME=y 97CONFIG_DEBUG_INFO=y 98# CONFIG_ENABLE_MUST_CHECK is not set 99# CONFIG_DEBUG_BUGVERBOSE is not set 100CONFIG_DEBUG_FS=y 101# CONFIG_SLUB_DEBUG is not set 102# CONFIG_SCHED_DEBUG is not set 103CONFIG_MEMTEST=y 104