CONFIG_64BIT=y
-# CONFIG_X86_32 is not set
CONFIG_X86_64=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
#
# RCU Subsystem
#
+# CONFIG_RCU_USER_QS is not set
CONFIG_RCU_FANOUT=64
#
#
CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y
CONFIG_ARCH_WANT_OLD_COMPAT_IPC=y
+CONFIG_MODULES_USE_ELF_RELA=y
#
# Partition Types
CONFIG_GPIO_LANGWELL=y
#
-# Webcam and/or TV USB devices
+# Media digital TV PCI Adapters
#
# CONFIG_VIDEO_CAFE_CCIC is not set
#
# Kernel hacking
#
-CONFIG_FUNCTION_GRAPH_TRACER=y
# CONFIG_IOMMU_DEBUG is not set
#
#
CONFIG_TASK_SIZE_MAX_SHIFT=47
+#
+# Memory Protections
+#
+CONFIG_GRKERNSEC_JIT_HARDEN=y
+
#
# Logging Options
#
CONFIG_CRYPTO_AES_X86_64=y
CONFIG_CRYPTO_BLOWFISH_X86_64=m
CONFIG_CRYPTO_CAMELLIA_X86_64=m
+CONFIG_CRYPTO_CAST5_AVX_X86_64=m
+CONFIG_CRYPTO_CAST6_AVX_X86_64=m
CONFIG_CRYPTO_SALSA20_X86_64=m
CONFIG_CRYPTO_SERPENT_SSE2_X86_64=m
CONFIG_CRYPTO_SERPENT_AVX_X86_64=m