#
# IRQ subsystem
#
-CONFIG_IRQ_DOMAIN=y
-# CONFIG_IRQ_DOMAIN_DEBUG is not set
CONFIG_ARCH_CLOCKSOURCE_DATA=y
CONFIG_GENERIC_TIME_VSYSCALL=y
#
# Kernel Performance Events And Counters
#
+CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y
CONFIG_ARCH_WANT_OLD_COMPAT_IPC=y
#
CONFIG_GPIO_LANGWELL=y
#
-# Miscelaneous helper chips
+# Webcam and/or TV USB devices
#
# CONFIG_VIDEO_CAFE_CCIC is not set
# CONFIG_EDAC_AMD64_ERROR_INJECTION is not set
CONFIG_EDAC_SBRIDGE=m
+#
+# Xen driver support
+#
+# CONFIG_XEN_MCE_LOG is not set
+
#
# Hardware Spinlock drivers
#
# Kernel hacking
#
CONFIG_FUNCTION_GRAPH_TRACER=y
-CONFIG_PROVIDE_OHCI1394_DMA_INIT=y
# CONFIG_IOMMU_DEBUG is not set
#
CONFIG_CRYPTO_CAMELLIA_X86_64=m
CONFIG_CRYPTO_SALSA20_X86_64=m
CONFIG_CRYPTO_SERPENT_SSE2_X86_64=m
+CONFIG_CRYPTO_SERPENT_AVX_X86_64=m
CONFIG_CRYPTO_TWOFISH_X86_64=m
CONFIG_CRYPTO_TWOFISH_X86_64_3WAY=m
+CONFIG_CRYPTO_TWOFISH_AVX_X86_64=m