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
18 # CONFIG_ARC_TIMERS_64BIT is not set
19 # CONFIG_ARC_SMP_HALT_ON_RESET is not set
20 CONFIG_ARC_UBOOT_SUPPORT=y
21 CONFIG_ARC_BUILTIN_DTB_NAME="vdk_hs38_smp"
32 # CONFIG_IPV6 is not set
34 CONFIG_DEVTMPFS_MOUNT=y
35 # CONFIG_STANDALONE is not set
36 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
37 # CONFIG_FIRMWARE_IN_KERNEL is not set
39 CONFIG_MTD_CMDLINE_PARTS=y
46 # CONFIG_NET_VENDOR_ARC is not set
47 # CONFIG_NET_VENDOR_BROADCOM is not set
48 # CONFIG_NET_VENDOR_INTEL is not set
49 # CONFIG_NET_VENDOR_MARVELL is not set
50 # CONFIG_NET_VENDOR_MICREL is not set
51 # CONFIG_NET_VENDOR_NATSEMI is not set
52 # CONFIG_NET_VENDOR_SEEQ is not set
54 # CONFIG_NET_VENDOR_VIA is not set
55 # CONFIG_NET_VENDOR_WIZNET is not set
57 CONFIG_MOUSE_PS2_TOUCHKIT=y
58 CONFIG_SERIO_ARC_PS2=y
59 # CONFIG_LEGACY_PTYS is not set
61 CONFIG_SERIAL_8250_CONSOLE=y
62 CONFIG_SERIAL_8250_DW=y
63 CONFIG_SERIAL_OF_PLATFORM=y
64 # CONFIG_HW_RANDOM is not set
65 # CONFIG_HWMON is not set
68 CONFIG_FRAMEBUFFER_CONSOLE=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
83 CONFIG_MMC_SDHCI_PLTFM=y
86 CONFIG_UIO_PDRV_GENIRQ=y
87 # CONFIG_IOMMU_SUPPORT is not set
96 CONFIG_NLS_CODEPAGE_437=y
97 CONFIG_NLS_ISO8859_1=y
98 # CONFIG_ENABLE_WARN_DEPRECATED is not set
99 # CONFIG_ENABLE_MUST_CHECK is not set
100 CONFIG_STRIP_ASM_SYMS=y
102 CONFIG_SOFTLOCKUP_DETECTOR=y
103 CONFIG_DEFAULT_HUNG_TASK_TIMEOUT=10
104 # CONFIG_SCHED_DEBUG is not set
105 # CONFIG_DEBUG_PREEMPT is not set
106 # CONFIG_FTRACE is not set