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/" 13CONFIG_PERF_EVENTS=y 14# CONFIG_COMPAT_BRK is not set 15CONFIG_KPROBES=y 16CONFIG_MODULES=y 17# CONFIG_LBDAF is not set 18# CONFIG_BLK_DEV_BSG is not set 19# CONFIG_IOSCHED_DEADLINE is not set 20# CONFIG_IOSCHED_CFQ is not set 21CONFIG_ISA_ARCV2=y 22CONFIG_SMP=y 23# CONFIG_ARC_TIMERS_64BIT 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_IPV6 is not set 38# CONFIG_WIRELESS is not set 39CONFIG_DEVTMPFS=y 40# CONFIG_STANDALONE is not set 41# CONFIG_PREVENT_FIRMWARE_BUILD is not set 42# CONFIG_FIRMWARE_IN_KERNEL is not set 43# CONFIG_BLK_DEV is not set 44CONFIG_NETDEVICES=y 45# CONFIG_NET_VENDOR_ARC is not set 46# CONFIG_NET_CADENCE is not set 47# CONFIG_NET_VENDOR_BROADCOM is not set 48CONFIG_EZCHIP_NPS_MANAGEMENT_ENET=y 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_SEEQ is not set 54# CONFIG_NET_VENDOR_STMICRO is not set 55# CONFIG_NET_VENDOR_VIA is not set 56# CONFIG_NET_VENDOR_WIZNET is not set 57# CONFIG_WLAN is not set 58CONFIG_INPUT_EVDEV=y 59CONFIG_MOUSE_PS2_TOUCHKIT=y 60# CONFIG_SERIO_SERPORT is not set 61CONFIG_SERIO_ARC_PS2=y 62# CONFIG_LEGACY_PTYS is not set 63# CONFIG_DEVKMEM is not set 64CONFIG_SERIAL_8250=y 65CONFIG_SERIAL_8250_CONSOLE=y 66CONFIG_SERIAL_8250_NR_UARTS=1 67CONFIG_SERIAL_8250_RUNTIME_UARTS=1 68CONFIG_SERIAL_8250_DW=y 69CONFIG_SERIAL_OF_PLATFORM=y 70# CONFIG_HW_RANDOM is not set 71# CONFIG_HWMON is not set 72CONFIG_DRM=y 73CONFIG_DRM_ARCPGU=y 74CONFIG_LOGO=y 75# CONFIG_HID is not set 76# CONFIG_USB_SUPPORT is not set 77# CONFIG_IOMMU_SUPPORT is not set 78CONFIG_EXT2_FS=y 79CONFIG_EXT2_FS_XATTR=y 80CONFIG_TMPFS=y 81# CONFIG_MISC_FILESYSTEMS is not set 82CONFIG_NFS_FS=y 83# CONFIG_ENABLE_WARN_DEPRECATED is not set 84# CONFIG_ENABLE_MUST_CHECK is not set 85CONFIG_FTRACE=y 86