1# CONFIG_LOCALVERSION_AUTO is not set
2# CONFIG_SWAP is not set
3# CONFIG_CROSS_MEMORY_ATTACH is not set
4CONFIG_HIGH_RES_TIMERS=y
5CONFIG_IKCONFIG=y
6CONFIG_IKCONFIG_PROC=y
7CONFIG_NAMESPACES=y
8# CONFIG_UTS_NS is not set
9# CONFIG_PID_NS is not set
10CONFIG_BLK_DEV_INITRD=y
11CONFIG_KALLSYMS_ALL=y
12CONFIG_EMBEDDED=y
13CONFIG_PERF_EVENTS=y
14# CONFIG_SLUB_DEBUG is not set
15# CONFIG_COMPAT_BRK is not set
16CONFIG_KPROBES=y
17CONFIG_MODULES=y
18CONFIG_MODULE_FORCE_LOAD=y
19CONFIG_MODULE_UNLOAD=y
20CONFIG_MODULE_FORCE_UNLOAD=y
21# CONFIG_LBDAF is not set
22# CONFIG_BLK_DEV_BSG is not set
23# CONFIG_IOSCHED_DEADLINE is not set
24# CONFIG_IOSCHED_CFQ is not set
25CONFIG_ISA_ARCV2=y
26CONFIG_SMP=y
27CONFIG_ARC_BUILTIN_DTB_NAME="nsim_hs_idu"
28CONFIG_PREEMPT=y
29# CONFIG_COMPACTION is not set
30CONFIG_NET=y
31CONFIG_PACKET=y
32CONFIG_UNIX=y
33CONFIG_UNIX_DIAG=y
34CONFIG_NET_KEY=y
35CONFIG_INET=y
36# CONFIG_IPV6 is not set
37CONFIG_DEVTMPFS=y
38# CONFIG_STANDALONE is not set
39# CONFIG_PREVENT_FIRMWARE_BUILD is not set
40# CONFIG_BLK_DEV is not set
41# CONFIG_INPUT_MOUSEDEV_PSAUX is not set
42# CONFIG_INPUT_KEYBOARD is not set
43# CONFIG_INPUT_MOUSE is not set
44# CONFIG_SERIO is not set
45# CONFIG_LEGACY_PTYS is not set
46CONFIG_SERIAL_ARC=y
47CONFIG_SERIAL_ARC_CONSOLE=y
48# CONFIG_HW_RANDOM is not set
49# CONFIG_HWMON is not set
50# CONFIG_HID is not set
51# CONFIG_USB_SUPPORT is not set
52# CONFIG_IOMMU_SUPPORT is not set
53CONFIG_EXT2_FS=y
54CONFIG_EXT2_FS_XATTR=y
55CONFIG_TMPFS=y
56# CONFIG_MISC_FILESYSTEMS is not set
57CONFIG_NFS_FS=y
58# CONFIG_ENABLE_WARN_DEPRECATED is not set
59# CONFIG_ENABLE_MUST_CHECK is not set
60