haps_hs_smp_defconfig 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  1. # CONFIG_SWAP is not set
  2. CONFIG_SYSVIPC=y
  3. CONFIG_POSIX_MQUEUE=y
  4. # CONFIG_CROSS_MEMORY_ATTACH is not set
  5. CONFIG_NO_HZ_IDLE=y
  6. CONFIG_HIGH_RES_TIMERS=y
  7. CONFIG_IKCONFIG=y
  8. CONFIG_IKCONFIG_PROC=y
  9. CONFIG_NAMESPACES=y
  10. # CONFIG_UTS_NS is not set
  11. # CONFIG_PID_NS is not set
  12. CONFIG_BLK_DEV_INITRD=y
  13. CONFIG_EMBEDDED=y
  14. CONFIG_PERF_EVENTS=y
  15. # CONFIG_VM_EVENT_COUNTERS is not set
  16. # CONFIG_COMPAT_BRK is not set
  17. CONFIG_SLAB=y
  18. CONFIG_KPROBES=y
  19. CONFIG_MODULES=y
  20. # CONFIG_LBDAF is not set
  21. # CONFIG_BLK_DEV_BSG is not set
  22. # CONFIG_IOSCHED_DEADLINE is not set
  23. # CONFIG_IOSCHED_CFQ is not set
  24. CONFIG_ISA_ARCV2=y
  25. CONFIG_SMP=y
  26. CONFIG_ARC_BUILTIN_DTB_NAME="haps_hs_idu"
  27. CONFIG_PREEMPT=y
  28. # CONFIG_COMPACTION is not set
  29. CONFIG_NET=y
  30. CONFIG_PACKET=y
  31. CONFIG_PACKET_DIAG=y
  32. CONFIG_UNIX=y
  33. CONFIG_UNIX_DIAG=y
  34. CONFIG_NET_KEY=y
  35. CONFIG_INET=y
  36. # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
  37. # CONFIG_INET_XFRM_MODE_TUNNEL is not set
  38. # CONFIG_INET_XFRM_MODE_BEET is not set
  39. # CONFIG_IPV6 is not set
  40. # CONFIG_WIRELESS is not set
  41. CONFIG_DEVTMPFS=y
  42. # CONFIG_STANDALONE is not set
  43. # CONFIG_PREVENT_FIRMWARE_BUILD is not set
  44. # CONFIG_BLK_DEV is not set
  45. CONFIG_NETDEVICES=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
  53. # CONFIG_NET_VENDOR_STMICRO is not set
  54. # CONFIG_NET_VENDOR_VIA is not set
  55. # CONFIG_NET_VENDOR_WIZNET is not set
  56. # CONFIG_WLAN is not set
  57. CONFIG_INPUT_EVDEV=y
  58. CONFIG_MOUSE_PS2_TOUCHKIT=y
  59. # CONFIG_SERIO_SERPORT is not set
  60. CONFIG_SERIO_ARC_PS2=y
  61. # CONFIG_LEGACY_PTYS is not set
  62. CONFIG_SERIAL_8250=y
  63. CONFIG_SERIAL_8250_CONSOLE=y
  64. CONFIG_SERIAL_8250_NR_UARTS=1
  65. CONFIG_SERIAL_8250_RUNTIME_UARTS=1
  66. CONFIG_SERIAL_8250_DW=y
  67. CONFIG_SERIAL_OF_PLATFORM=y
  68. # CONFIG_HW_RANDOM is not set
  69. # CONFIG_HWMON is not set
  70. CONFIG_FB=y
  71. CONFIG_FRAMEBUFFER_CONSOLE=y
  72. CONFIG_LOGO=y
  73. # CONFIG_HID is not set
  74. # CONFIG_USB_SUPPORT is not set
  75. # CONFIG_IOMMU_SUPPORT is not set
  76. CONFIG_EXT2_FS=y
  77. CONFIG_EXT2_FS_XATTR=y
  78. CONFIG_TMPFS=y
  79. # CONFIG_MISC_FILESYSTEMS is not set
  80. CONFIG_NFS_FS=y
  81. # CONFIG_ENABLE_WARN_DEPRECATED is not set
  82. # CONFIG_ENABLE_MUST_CHECK is not set
  83. CONFIG_SOFTLOCKUP_DETECTOR=y
  84. # CONFIG_DEBUG_PREEMPT is not set