linux/debian/config/kernelarch-x86/config-arch-64

##
## file: arch/x86/Kconfig
##
CONFIG_64BIT=y
CONFIG_SMP=y
CONFIG_CALGARY_IOMMU=y
CONFIG_CALGARY_IOMMU_ENABLED_BY_DEFAULT=y
CONFIG_AMD_IOMMU=y
# CONFIG_AMD_IOMMU_STATS is not set
# CONFIG_MAXSMP is not set
CONFIG_NR_CPUS=512
CONFIG_X86_MCE_INTEL=y
CONFIG_X86_MCE_AMD=y
CONFIG_NUMA=y
CONFIG_K8_NUMA=y
CONFIG_X86_64_ACPI_NUMA=y
# CONFIG_NUMA_EMU is not set
CONFIG_PCI_MMCONFIG=y

##
## file: arch/x86/Kconfig.cpu
##
## choice: Processor family
# CONFIG_MK8 is not set
# CONFIG_MPSC is not set
CONFIG_GENERIC_CPU=y
## end choice

##
## file: arch/x86/kernel/cpu/cpufreq/Kconfig
##
CONFIG_X86_POWERNOW_K8=m

##
## file: arch/x86/xen/Kconfig
##
CONFIG_XEN_MAX_DOMAIN_MEMORY=32

##
## file: mm/Kconfig
##
## choice: Memory model
# CONFIG_FLATMEM_MANUAL is not set
CONFIG_DISCONTIGMEM_MANUAL=y
# CONFIG_SPARSEMEM_MANUAL is not set
## end choice
CONFIG_MIGRATION=y