1 # CONFIG_LOCALVERSION_AUTO is not set
2 # CONFIG_CROSS_MEMORY_ATTACH is not set
3 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE_O3=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_BUILTIN_DTB_NAME="vdk_hs38"
28 # CONFIG_IPV6 is not set
30 CONFIG_DEVTMPFS_MOUNT=y
31 # CONFIG_STANDALONE is not set
32 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
34 CONFIG_MTD_CMDLINE_PARTS=y
41 # CONFIG_NET_VENDOR_ARC is not set
42 # CONFIG_NET_VENDOR_BROADCOM is not set
43 # CONFIG_NET_VENDOR_INTEL is not set
44 # CONFIG_NET_VENDOR_MARVELL is not set
45 # CONFIG_NET_VENDOR_MICREL is not set
46 # CONFIG_NET_VENDOR_NATSEMI is not set
47 # CONFIG_NET_VENDOR_SEEQ is not set
49 # CONFIG_NET_VENDOR_VIA is not set
50 # CONFIG_NET_VENDOR_WIZNET is not set
52 CONFIG_MOUSE_PS2_TOUCHKIT=y
53 CONFIG_SERIO_ARC_PS2=y
54 # CONFIG_LEGACY_PTYS is not set
56 CONFIG_SERIAL_8250_CONSOLE=y
57 CONFIG_SERIAL_8250_DW=y
58 CONFIG_SERIAL_OF_PLATFORM=y
59 # CONFIG_HW_RANDOM is not set
60 # CONFIG_HWMON is not set
62 CONFIG_ARCPGU_RGB888=y
63 CONFIG_ARCPGU_DISPTYPE=0
64 # CONFIG_VGA_CONSOLE is not set
65 CONFIG_FRAMEBUFFER_CONSOLE=y
66 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
68 # CONFIG_LOGO_LINUX_MONO is not set
69 # CONFIG_LOGO_LINUX_VGA16 is not set
70 # CONFIG_LOGO_LINUX_CLUT224 is not set
73 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
74 CONFIG_USB_EHCI_HCD_PLATFORM=y
76 CONFIG_USB_OHCI_HCD_PLATFORM=y
79 # CONFIG_IOMMU_SUPPORT is not set
89 CONFIG_NLS_CODEPAGE_437=y
90 CONFIG_NLS_ISO8859_1=y
91 # CONFIG_ENABLE_MUST_CHECK is not set
92 CONFIG_STRIP_ASM_SYMS=y
94 CONFIG_SOFTLOCKUP_DETECTOR=y
95 CONFIG_DEFAULT_HUNG_TASK_TIMEOUT=10
96 # CONFIG_SCHED_DEBUG is not set
97 # CONFIG_DEBUG_PREEMPT is not set
98 # CONFIG_FTRACE is not set