1CONFIG_CROSS_COMPILE="arc-linux-uclibc-" 2CONFIG_DEFAULT_HOSTNAME="ARCLinux" 3# CONFIG_SWAP is not set 4CONFIG_SYSVIPC=y 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_ARC_BOARD_ML509=y 22CONFIG_ISA_ARCV2=y 23CONFIG_SMP=y 24CONFIG_ARC_HAS_LL64=y 25# CONFIG_ARC_HAS_RTSC is not set 26CONFIG_ARC_BUILTIN_DTB_NAME="nsimosci_hs_idu" 27CONFIG_PREEMPT=y 28# CONFIG_COMPACTION is not set 29# CONFIG_CROSS_MEMORY_ATTACH is not set 30CONFIG_NET=y 31CONFIG_PACKET=y 32CONFIG_PACKET_DIAG=y 33CONFIG_UNIX=y 34CONFIG_UNIX_DIAG=y 35CONFIG_NET_KEY=y 36CONFIG_INET=y 37# CONFIG_INET_XFRM_MODE_TRANSPORT is not set 38# CONFIG_INET_XFRM_MODE_TUNNEL is not set 39# CONFIG_INET_XFRM_MODE_BEET is not set 40# CONFIG_INET_LRO is not set 41# CONFIG_IPV6 is not set 42# CONFIG_WIRELESS is not set 43# CONFIG_STANDALONE is not set 44# CONFIG_PREVENT_FIRMWARE_BUILD is not set 45# CONFIG_FIRMWARE_IN_KERNEL is not set 46# CONFIG_BLK_DEV is not set 47CONFIG_NETDEVICES=y 48# CONFIG_NET_VENDOR_ARC is not set 49# CONFIG_NET_CADENCE is not set 50# CONFIG_NET_VENDOR_BROADCOM is not set 51# CONFIG_NET_VENDOR_INTEL is not set 52# CONFIG_NET_VENDOR_MARVELL is not set 53# CONFIG_NET_VENDOR_MICREL is not set 54# CONFIG_NET_VENDOR_NATSEMI is not set 55# CONFIG_NET_VENDOR_SEEQ is not set 56# CONFIG_NET_VENDOR_STMICRO is not set 57# CONFIG_NET_VENDOR_VIA is not set 58# CONFIG_NET_VENDOR_WIZNET is not set 59CONFIG_NET_OSCI_LAN=y 60# CONFIG_WLAN is not set 61CONFIG_INPUT_EVDEV=y 62CONFIG_MOUSE_PS2_TOUCHKIT=y 63# CONFIG_SERIO_SERPORT is not set 64CONFIG_SERIO_LIBPS2=y 65CONFIG_SERIO_ARC_PS2=y 66CONFIG_VT_HW_CONSOLE_BINDING=y 67# CONFIG_LEGACY_PTYS is not set 68# CONFIG_DEVKMEM is not set 69CONFIG_SERIAL_8250=y 70CONFIG_SERIAL_8250_CONSOLE=y 71CONFIG_SERIAL_8250_NR_UARTS=1 72CONFIG_SERIAL_8250_RUNTIME_UARTS=1 73CONFIG_SERIAL_8250_DW=y 74CONFIG_SERIAL_OF_PLATFORM=y 75# CONFIG_HW_RANDOM is not set 76# CONFIG_HWMON is not set 77CONFIG_FB=y 78CONFIG_ARCPGU_RGB888=y 79CONFIG_ARCPGU_DISPTYPE=0 80# CONFIG_VGA_CONSOLE is not set 81CONFIG_FRAMEBUFFER_CONSOLE=y 82CONFIG_LOGO=y 83# CONFIG_HID is not set 84# CONFIG_USB_SUPPORT is not set 85# CONFIG_IOMMU_SUPPORT is not set 86CONFIG_EXT2_FS=y 87CONFIG_EXT2_FS_XATTR=y 88CONFIG_TMPFS=y 89# CONFIG_MISC_FILESYSTEMS is not set 90CONFIG_NFS_FS=y 91# CONFIG_ENABLE_WARN_DEPRECATED is not set 92# CONFIG_ENABLE_MUST_CHECK is not set 93CONFIG_FTRACE=y 94