1 # CONFIG_LOCALVERSION_AUTO is not set
2 CONFIG_DEFAULT_HOSTNAME="ARCLinux"
3 # CONFIG_CROSS_MEMORY_ATTACH is not set
4 CONFIG_HIGH_RES_TIMERS=y
7 CONFIG_BLK_DEV_INITRD=y
10 # CONFIG_VM_EVENT_COUNTERS is not set
11 # CONFIG_SLUB_DEBUG is not set
12 # CONFIG_COMPAT_BRK is not set
13 CONFIG_PARTITION_ADVANCED=y
14 CONFIG_ARC_PLAT_AXS10X=y
17 CONFIG_ARC_UBOOT_SUPPORT=y
18 CONFIG_ARC_BUILTIN_DTB_NAME="vdk_hs38"
29 # CONFIG_IPV6 is not set
31 CONFIG_DEVTMPFS_MOUNT=y
32 # CONFIG_STANDALONE is not set
33 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
35 CONFIG_MTD_CMDLINE_PARTS=y
42 # CONFIG_NET_VENDOR_ARC is not set
43 # CONFIG_NET_VENDOR_BROADCOM is not set
44 # CONFIG_NET_VENDOR_INTEL is not set
45 # CONFIG_NET_VENDOR_MARVELL is not set
46 # CONFIG_NET_VENDOR_MICREL is not set
47 # CONFIG_NET_VENDOR_NATSEMI is not set
48 # CONFIG_NET_VENDOR_SEEQ is not set
50 # CONFIG_NET_VENDOR_VIA is not set
51 # CONFIG_NET_VENDOR_WIZNET is not set
53 CONFIG_MOUSE_PS2_TOUCHKIT=y
54 CONFIG_SERIO_ARC_PS2=y
55 # CONFIG_LEGACY_PTYS is not set
56 # CONFIG_DEVKMEM is not set
58 CONFIG_SERIAL_8250_CONSOLE=y
59 CONFIG_SERIAL_8250_DW=y
60 CONFIG_SERIAL_OF_PLATFORM=y
61 # CONFIG_HW_RANDOM is not set
62 # CONFIG_HWMON is not set
64 CONFIG_ARCPGU_RGB888=y
65 CONFIG_ARCPGU_DISPTYPE=0
66 # CONFIG_VGA_CONSOLE is not set
67 CONFIG_FRAMEBUFFER_CONSOLE=y
68 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
70 # CONFIG_LOGO_LINUX_MONO is not set
71 # CONFIG_LOGO_LINUX_VGA16 is not set
72 # CONFIG_LOGO_LINUX_CLUT224 is not set
75 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
76 CONFIG_USB_EHCI_HCD_PLATFORM=y
78 CONFIG_USB_OHCI_HCD_PLATFORM=y
81 # CONFIG_IOMMU_SUPPORT is not set
90 CONFIG_NLS_CODEPAGE_437=y
91 CONFIG_NLS_ISO8859_1=y
92 # CONFIG_ENABLE_WARN_DEPRECATED is not set
93 # CONFIG_ENABLE_MUST_CHECK is not set
94 CONFIG_STRIP_ASM_SYMS=y
96 CONFIG_SOFTLOCKUP_DETECTOR=y
97 CONFIG_DEFAULT_HUNG_TASK_TIMEOUT=10
98 # CONFIG_SCHED_DEBUG is not set
99 # CONFIG_DEBUG_PREEMPT is not set
100 # CONFIG_FTRACE is not set