#
# CONFIG_IBM_ASM is not set
CONFIG_SGI_IOC4=m
-# CONFIG_CS5535_MFGPT is not set
+
+#
+# Intel MIC Bus Driver
+#
+CONFIG_INTEL_MIC_BUS=m
#
# Intel MIC Host Driver
#
# CONFIG_INTEL_MIC_CARD is not set
CONFIG_GENWQE=m
+CONFIG_GENWQE_PLATFORM_ERROR_RECOVERY=0
#
# SCSI Transports
# CONFIG_EDAC_AMD64_ERROR_INJECTION is not set
CONFIG_EDAC_SBRIDGE=m
+#
+# DMA Devices
+#
+CONFIG_INTEL_MIC_X100_DMA=m
+
#
# Xen driver support
#
# CONFIG_XEN_MCE_LOG is not set
+CONFIG_XEN_EFI=y
#
# Android
#
CONFIG_CRYPTO_SKEIN=y
CONFIG_CRYPTO_THREEFISH=y
+# CONFIG_UNISYSSPAR is not set
#
-# Hardware Spinlock drivers
+# Clock Source drivers
#
CONFIG_AMD_IOMMU=y
CONFIG_AMD_IOMMU_STATS=y
+CONFIG_AMD_IOMMU_V2=m
CONFIG_IRQ_REMAP=y
#
#
# Memory Protections
#
-CONFIG_GRKERNSEC_JIT_HARDEN=y
CONFIG_GRKERNSEC_KSTACKOVERFLOW=y
#
CONFIG_CRYPTO_CAMELLIA_AESNI_AVX2_X86_64=m
CONFIG_CRYPTO_CAST5_AVX_X86_64=m
CONFIG_CRYPTO_CAST6_AVX_X86_64=m
+CONFIG_CRYPTO_DES3_EDE_X86_64=m
CONFIG_CRYPTO_SALSA20_X86_64=m
CONFIG_CRYPTO_SERPENT_SSE2_X86_64=m
CONFIG_CRYPTO_SERPENT_AVX_X86_64=m