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
34 # CONFIG_FIRMWARE_IN_KERNEL is not set
36 CONFIG_MTD_CMDLINE_PARTS=y
43 # CONFIG_NET_VENDOR_ARC is not set
44 # CONFIG_NET_VENDOR_BROADCOM is not set
45 # CONFIG_NET_VENDOR_INTEL is not set
46 # CONFIG_NET_VENDOR_MARVELL is not set
47 # CONFIG_NET_VENDOR_MICREL is not set
48 # CONFIG_NET_VENDOR_NATSEMI is not set
49 # CONFIG_NET_VENDOR_SEEQ is not set
51 # CONFIG_NET_VENDOR_VIA is not set
52 # CONFIG_NET_VENDOR_WIZNET is not set
54 CONFIG_MOUSE_PS2_TOUCHKIT=y
55 CONFIG_SERIO_ARC_PS2=y
56 # CONFIG_LEGACY_PTYS is not set
57 # CONFIG_DEVKMEM is not set
59 CONFIG_SERIAL_8250_CONSOLE=y
60 CONFIG_SERIAL_8250_DW=y
61 CONFIG_SERIAL_OF_PLATFORM=y
62 # CONFIG_HW_RANDOM is not set
63 # CONFIG_HWMON is not set
65 CONFIG_ARCPGU_RGB888=y
66 CONFIG_ARCPGU_DISPTYPE=0
67 # CONFIG_VGA_CONSOLE is not set
68 CONFIG_FRAMEBUFFER_CONSOLE=y
69 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
71 # CONFIG_LOGO_LINUX_MONO is not set
72 # CONFIG_LOGO_LINUX_VGA16 is not set
73 # CONFIG_LOGO_LINUX_CLUT224 is not set
76 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
77 CONFIG_USB_EHCI_HCD_PLATFORM=y
79 CONFIG_USB_OHCI_HCD_PLATFORM=y
82 # CONFIG_IOMMU_SUPPORT is not set
91 CONFIG_NLS_CODEPAGE_437=y
92 CONFIG_NLS_ISO8859_1=y
93 # CONFIG_ENABLE_WARN_DEPRECATED is not set
94 # CONFIG_ENABLE_MUST_CHECK is not set
95 CONFIG_STRIP_ASM_SYMS=y
97 CONFIG_LOCKUP_DETECTOR=y
98 CONFIG_DEFAULT_HUNG_TASK_TIMEOUT=10
99 # CONFIG_SCHED_DEBUG is not set
100 # CONFIG_DEBUG_PREEMPT is not set
101 # CONFIG_FTRACE is not set