1 CONFIG_NO_HZ_IDLE=y 2 CONFIG_HIGH_RES_TIMERS=y 3 CONFIG_PREEMPT_VOLUNTARY=y 4 CONFIG_LOG_BUF_SHIFT=16 5 CONFIG_CC_OPTIMIZE_FOR_SIZE=y 6 CONFIG_EXPERT=y 7 # CONFIG_UID16 is not set 8 CONFIG_BASE_SMALL=y 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 15 CONFIG_ARCH_MPS2=y 16 CONFIG_SET_MEM_PARAM=y 17 CONFIG_DRAM_BASE=0x21000000 18 CONFIG_DRAM_SIZE=0x1000000 19 # CONFIG_ATAGS is not set 20 # CONFIG_SUSPEND is not set 21 # CONFIG_BLOCK is not set 22 CONFIG_BINFMT_FLAT=y 23 # CONFIG_COREDUMP is not set 24 # CONFIG_VM_EVENT_COUNTERS is not set 25 CONFIG_NET=y 26 CONFIG_PACKET=y 27 CONFIG_UNIX=y 28 CONFIG_INET=y 29 CONFIG_IP_PNP=y 30 CONFIG_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 37 CONFIG_DEVTMPFS=y 38 CONFIG_DEVTMPFS_MOUNT=y 39 # CONFIG_FW_LOADER is not set 40 CONFIG_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 58 CONFIG_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 67 CONFIG_SERIAL_MPS2_UART_CONSOLE=y 68 CONFIG_SERIAL_MPS2_UART=y 69 CONFIG_SERIAL_NONSTANDARD=y 70 # CONFIG_HW_RANDOM is not set 71 # CONFIG_HWMON is not set 72 CONFIG_WATCHDOG=y 73 CONFIG_ARM_SP805_WATCHDOG=y 74 CONFIG_MFD_SYSCON=y 75 # CONFIG_USB_SUPPORT is not set 76 CONFIG_NEW_LEDS=y 77 CONFIG_LEDS_CLASS=y 78 CONFIG_LEDS_SYSCON=y 79 CONFIG_LEDS_TRIGGERS=y 80 CONFIG_LEDS_TRIGGER_TIMER=y 81 CONFIG_LEDS_TRIGGER_ONESHOT=y 82 CONFIG_LEDS_TRIGGER_HEARTBEAT=y 83 CONFIG_LEDS_TRIGGER_BACKLIGHT=y 84 CONFIG_LEDS_TRIGGER_CPU=y 85 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y 86 CONFIG_ARM_TIMER_SP804=y 87 # CONFIG_DNOTIFY is not set 88 # CONFIG_INOTIFY_USER is not set 89 # CONFIG_MISC_FILESYSTEMS is not set 90 CONFIG_NFS_FS=y 91 CONFIG_NFS_V4=y 92 CONFIG_NFS_V4_1=y 93 CONFIG_NFS_V4_2=y 94 CONFIG_ROOT_NFS=y 95 CONFIG_NLS=y 96 CONFIG_PRINTK_TIME=y 97 # CONFIG_ENABLE_MUST_CHECK is not set 98 # CONFIG_DEBUG_BUGVERBOSE is not set 99 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y 100 CONFIG_DEBUG_FS=y 101 # CONFIG_SLUB_DEBUG is not set 102 # CONFIG_SCHED_DEBUG is not set 103 CONFIG_MEMTEST=y
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.