CONFIG_RCU_USER_QS=y
CONFIG_CONTEXT_TRACKING_FORCE=y
CONFIG_RCU_FANOUT=64
+CONFIG_ARCH_SUPPORTS_INT128=y
# CONFIG_NUMA_BALANCING is not set
#
#
# Power management and ACPI options
#
-CONFIG_ARCH_HIBERNATION_HEADER=y
CONFIG_ACPI_NUMA=y
-CONFIG_ACPI_BLACKLIST_YEAR=0
#
# Memory power savings
#
CONFIG_BPF_JIT=y
+#
+# Protocols
+#
+CONFIG_BLK_DEV_SKD=m
+
#
# Misc devices
#
CONFIG_SGI_IOC4=m
# CONFIG_CS5535_MFGPT is not set
+#
+# Intel MIC Host Driver
+#
+# CONFIG_INTEL_MIC_HOST is not set
+
+#
+# Intel MIC Card Driver
+#
+# CONFIG_INTEL_MIC_CARD is not set
+
#
# SCSI Transports
#
# CONFIG_I2C_SIS5595 is not set
# CONFIG_I2C_SIS630 is not set
-#
-# PCI GPIO expanders:
-#
-CONFIG_GPIO_LANGWELL=y
-
#
# Media digital TV PCI Adapters
#
# Library routines
#
CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
-CONFIG_CMPXCHG_LOCKREF=y