|
@@ -16,6 +16,7 @@ CONFIG_AXS103=y
|
|
|
CONFIG_ISA_ARCV2=y
|
|
|
CONFIG_SMP=y
|
|
|
# CONFIG_ARC_TIMERS_64BIT is not set
|
|
|
+# CONFIG_ARC_SMP_HALT_ON_RESET is not set
|
|
|
CONFIG_ARC_UBOOT_SUPPORT=y
|
|
|
CONFIG_ARC_BUILTIN_DTB_NAME="vdk_hs38_smp"
|
|
|
CONFIG_PREEMPT=y
|
|
@@ -56,7 +57,6 @@ CONFIG_NATIONAL_PHY=y
|
|
|
CONFIG_MOUSE_PS2_TOUCHKIT=y
|
|
|
CONFIG_SERIO_ARC_PS2=y
|
|
|
# CONFIG_LEGACY_PTYS is not set
|
|
|
-# CONFIG_DEVKMEM is not set
|
|
|
CONFIG_SERIAL_8250=y
|
|
|
CONFIG_SERIAL_8250_CONSOLE=y
|
|
|
CONFIG_SERIAL_8250_DW=y
|
|
@@ -80,7 +80,6 @@ CONFIG_USB_STORAGE=y
|
|
|
CONFIG_USB_SERIAL=y
|
|
|
# CONFIG_IOMMU_SUPPORT is not set
|
|
|
CONFIG_EXT3_FS=y
|
|
|
-CONFIG_EXT4_FS=y
|
|
|
CONFIG_MSDOS_FS=y
|
|
|
CONFIG_VFAT_FS=y
|
|
|
CONFIG_NTFS_FS=y
|