0001 # CONFIG_SWAP is not set
0002 CONFIG_SYSVIPC=y
0003 # CONFIG_CROSS_MEMORY_ATTACH is not set
0004 CONFIG_NO_HZ=y
0005 CONFIG_HIGH_RES_TIMERS=y
0006 CONFIG_IKCONFIG=y
0007 CONFIG_IKCONFIG_PROC=y
0008 # CONFIG_UTS_NS is not set
0009 # CONFIG_PID_NS is not set
0010 CONFIG_BLK_DEV_INITRD=y
0011 CONFIG_PERF_EVENTS=y
0012 # CONFIG_COMPAT_BRK is not set
0013 CONFIG_KPROBES=y
0014 CONFIG_MODULES=y
0015 # CONFIG_BLK_DEV_BSG is not set
0016 CONFIG_ISA_ARCV2=y
0017 CONFIG_SMP=y
0018 # CONFIG_ARC_TIMERS_64BIT is not set
0019 CONFIG_ARC_BUILTIN_DTB_NAME="nsimosci_hs_idu"
0020 CONFIG_PREEMPT=y
0021 # CONFIG_COMPACTION is not set
0022 CONFIG_NET=y
0023 CONFIG_PACKET=y
0024 CONFIG_PACKET_DIAG=y
0025 CONFIG_UNIX=y
0026 CONFIG_UNIX_DIAG=y
0027 CONFIG_NET_KEY=y
0028 CONFIG_INET=y
0029 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
0030 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
0031 # CONFIG_INET_XFRM_MODE_BEET is not set
0032 # CONFIG_IPV6 is not set
0033 # CONFIG_WIRELESS is not set
0034 CONFIG_DEVTMPFS=y
0035 # CONFIG_STANDALONE is not set
0036 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
0037 # CONFIG_BLK_DEV is not set
0038 CONFIG_NETDEVICES=y
0039 # CONFIG_NET_VENDOR_ARC is not set
0040 # CONFIG_NET_CADENCE is not set
0041 # CONFIG_NET_VENDOR_BROADCOM is not set
0042 CONFIG_EZCHIP_NPS_MANAGEMENT_ENET=y
0043 # CONFIG_NET_VENDOR_INTEL is not set
0044 # CONFIG_NET_VENDOR_MARVELL is not set
0045 # CONFIG_NET_VENDOR_MICREL is not set
0046 # CONFIG_NET_VENDOR_NATSEMI is not set
0047 # CONFIG_NET_VENDOR_SEEQ is not set
0048 # CONFIG_NET_VENDOR_STMICRO is not set
0049 # CONFIG_NET_VENDOR_VIA is not set
0050 # CONFIG_NET_VENDOR_WIZNET is not set
0051 # CONFIG_WLAN is not set
0052 CONFIG_INPUT_EVDEV=y
0053 CONFIG_MOUSE_PS2_TOUCHKIT=y
0054 # CONFIG_SERIO_SERPORT is not set
0055 CONFIG_SERIO_ARC_PS2=y
0056 # CONFIG_LEGACY_PTYS is not set
0057 CONFIG_SERIAL_8250=y
0058 CONFIG_SERIAL_8250_CONSOLE=y
0059 CONFIG_SERIAL_8250_NR_UARTS=1
0060 CONFIG_SERIAL_8250_RUNTIME_UARTS=1
0061 CONFIG_SERIAL_8250_DW=y
0062 CONFIG_SERIAL_OF_PLATFORM=y
0063 # CONFIG_HW_RANDOM is not set
0064 # CONFIG_HWMON is not set
0065 CONFIG_DRM=y
0066 CONFIG_DRM_ARCPGU=y
0067 CONFIG_LOGO=y
0068 # CONFIG_HID is not set
0069 # CONFIG_USB_SUPPORT is not set
0070 # CONFIG_IOMMU_SUPPORT is not set
0071 CONFIG_EXT2_FS=y
0072 CONFIG_EXT2_FS_XATTR=y
0073 CONFIG_TMPFS=y
0074 # CONFIG_MISC_FILESYSTEMS is not set
0075 CONFIG_NFS_FS=y
0076 CONFIG_NFS_V3_ACL=y
0077 # CONFIG_ENABLE_MUST_CHECK is not set
0078 CONFIG_FTRACE=y
