1CONFIG_DEFAULT_HOSTNAME="ARCLinux" 2# CONFIG_SWAP is not set 3CONFIG_SYSVIPC=y 4# CONFIG_CROSS_MEMORY_ATTACH is not set 5CONFIG_NO_HZ=y 6CONFIG_HIGH_RES_TIMERS=y 7CONFIG_IKCONFIG=y 8CONFIG_IKCONFIG_PROC=y 9# CONFIG_UTS_NS is not set 10# CONFIG_PID_NS is not set 11CONFIG_BLK_DEV_INITRD=y 12CONFIG_INITRAMFS_SOURCE="../arc_initramfs_hs/" 13# CONFIG_COMPAT_BRK is not set 14CONFIG_KPROBES=y 15CONFIG_MODULES=y 16# CONFIG_LBDAF is not set 17# CONFIG_BLK_DEV_BSG is not set 18# CONFIG_IOSCHED_DEADLINE is not set 19# CONFIG_IOSCHED_CFQ is not set 20CONFIG_ARC_PLAT_SIM=y 21CONFIG_ISA_ARCV2=y 22CONFIG_SMP=y 23# CONFIG_ARC_HAS_GFRC is not set 24CONFIG_ARC_BUILTIN_DTB_NAME="nsimosci_hs_idu" 25CONFIG_PREEMPT=y 26# CONFIG_COMPACTION is not set 27CONFIG_NET=y 28CONFIG_PACKET=y 29CONFIG_PACKET_DIAG=y 30CONFIG_UNIX=y 31CONFIG_UNIX_DIAG=y 32CONFIG_NET_KEY=y 33CONFIG_INET=y 34# CONFIG_INET_XFRM_MODE_TRANSPORT is not set 35# CONFIG_INET_XFRM_MODE_TUNNEL is not set 36# CONFIG_INET_XFRM_MODE_BEET is not set 37# CONFIG_INET_LRO is not set 38# CONFIG_IPV6 is not set 39# CONFIG_WIRELESS is not set 40CONFIG_DEVTMPFS=y 41# CONFIG_STANDALONE is not set 42# CONFIG_PREVENT_FIRMWARE_BUILD is not set 43# CONFIG_FIRMWARE_IN_KERNEL is not set 44# CONFIG_BLK_DEV is not set 45CONFIG_NETDEVICES=y 46# CONFIG_NET_VENDOR_ARC is not set 47# CONFIG_NET_CADENCE is not set 48# CONFIG_NET_VENDOR_BROADCOM is not set 49CONFIG_EZCHIP_NPS_MANAGEMENT_ENET=y 50# CONFIG_NET_VENDOR_INTEL is not set 51# CONFIG_NET_VENDOR_MARVELL is not set 52# CONFIG_NET_VENDOR_MICREL is not set 53# CONFIG_NET_VENDOR_NATSEMI is not set 54# CONFIG_NET_VENDOR_SEEQ is not set 55# CONFIG_NET_VENDOR_STMICRO is not set 56# CONFIG_NET_VENDOR_VIA is not set 57# CONFIG_NET_VENDOR_WIZNET is not set 58# CONFIG_WLAN is not set 59CONFIG_INPUT_EVDEV=y 60CONFIG_MOUSE_PS2_TOUCHKIT=y 61# CONFIG_SERIO_SERPORT is not set 62CONFIG_SERIO_ARC_PS2=y 63# CONFIG_LEGACY_PTYS is not set 64# CONFIG_DEVKMEM is not set 65CONFIG_SERIAL_8250=y 66CONFIG_SERIAL_8250_CONSOLE=y 67CONFIG_SERIAL_8250_NR_UARTS=1 68CONFIG_SERIAL_8250_RUNTIME_UARTS=1 69CONFIG_SERIAL_8250_DW=y 70CONFIG_SERIAL_OF_PLATFORM=y 71# CONFIG_HW_RANDOM is not set 72# CONFIG_HWMON is not set 73CONFIG_DRM=y 74CONFIG_DRM_ARCPGU=y 75CONFIG_FRAMEBUFFER_CONSOLE=y 76CONFIG_LOGO=y 77# CONFIG_HID is not set 78# CONFIG_USB_SUPPORT is not set 79# CONFIG_IOMMU_SUPPORT is not set 80CONFIG_EXT2_FS=y 81CONFIG_EXT2_FS_XATTR=y 82CONFIG_TMPFS=y 83# CONFIG_MISC_FILESYSTEMS is not set 84CONFIG_NFS_FS=y 85# CONFIG_ENABLE_WARN_DEPRECATED is not set 86# CONFIG_ENABLE_MUST_CHECK is not set 87CONFIG_FTRACE=y 88