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
9 # CONFIG_VM_EVENT_COUNTERS is not set
10 # CONFIG_SLUB_DEBUG is not set
11 # CONFIG_COMPAT_BRK is not set
12 CONFIG_PARTITION_ADVANCED=y
13 CONFIG_ARC_PLAT_AXS10X=y
17 # CONFIG_ARC_TIMERS_64BIT is not set
18 CONFIG_ARC_BUILTIN_DTB_NAME="vdk_hs38_smp"
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
57 CONFIG_SERIAL_8250_CONSOLE=y
58 CONFIG_SERIAL_8250_DW=y
59 CONFIG_SERIAL_OF_PLATFORM=y
60 # CONFIG_HW_RANDOM is not set
61 # CONFIG_HWMON is not set
64 CONFIG_FRAMEBUFFER_CONSOLE=y
66 # CONFIG_LOGO_LINUX_MONO is not set
67 # CONFIG_LOGO_LINUX_VGA16 is not set
68 # CONFIG_LOGO_LINUX_CLUT224 is not set
71 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
72 CONFIG_USB_EHCI_HCD_PLATFORM=y
74 CONFIG_USB_OHCI_HCD_PLATFORM=y
79 CONFIG_MMC_SDHCI_PLTFM=y
82 CONFIG_UIO_PDRV_GENIRQ=y
83 # CONFIG_IOMMU_SUPPORT is not set
92 CONFIG_NLS_CODEPAGE_437=y
93 CONFIG_NLS_ISO8859_1=y
94 # CONFIG_ENABLE_MUST_CHECK is not set
95 CONFIG_STRIP_ASM_SYMS=y
97 CONFIG_SOFTLOCKUP_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