CONFIG_RCU_FANOUT=64
#
-# GCOV-based kernel profiling
+# Partition Types
#
CONFIG_BLOCK_COMPAT=y
# Processor type and features
#
CONFIG_X86_X2APIC=y
+CONFIG_X86_NUMACHIP=y
# CONFIG_X86_VSMP is not set
# CONFIG_X86_UV is not set
+CONFIG_XEN_MAX_DOMAIN_MEMORY=500
# CONFIG_MPSC is not set
CONFIG_GENERIC_CPU=y
CONFIG_X86_INTERNODE_CACHE_SHIFT=7
CONFIG_I7300_IDLE_IOAT_CHANNEL=y
CONFIG_I7300_IDLE=m
+#
+# Bus options (PCI etc.)
+#
+CONFIG_PCI_PRI=y
+CONFIG_PCI_PASID=y
+
#
# PC-card bridges
#
CONFIG_BPF_JIT=y
#
-# Protocols
+# Misc devices
#
# CONFIG_IBM_ASM is not set
CONFIG_SGI_IOC4=m
CONFIG_CRYPTO_AES_X86_64=y
CONFIG_CRYPTO_BLOWFISH_X86_64=m
CONFIG_CRYPTO_SALSA20_X86_64=m
+CONFIG_CRYPTO_SERPENT_SSE2_X86_64=m
CONFIG_CRYPTO_TWOFISH_X86_64=m
CONFIG_CRYPTO_TWOFISH_X86_64_3WAY=m