CONFIG_64BIT=y

# CONFIG_X86_X32 is not set

# CONFIG_MK8 is not set

# CONFIG_MPSC is not set

CONFIG_GENERIC_CPU=y

# CONFIG_X86_VSMP is not set

# CONFIG_X86_UV is not set

CONFIG_NUMA=y

CONFIG_K8_NUMA=y

CONFIG_AMD_NUMA=y

CONFIG_X86_64_ACPI_NUMA=y

# CONFIG_NUMA_EMU is not set

# CONFIG_X86_NUMACHIP is not set

CONFIG_NR_CPUS=128

CONFIG_PHYSICAL_START=0x1000000

CONFIG_IA32_EMULATION=y

# CONFIG_IA32_AOUT is not set

CONFIG_AMD_IOMMU=y

CONFIG_AMD_IOMMU_STATS=y

CONFIG_AMD_IOMMU_V2=m

# CONFIG_IOMMU_DEBUG is not set

CONFIG_SWIOTLB=y

# CONFIG_CALGARY_IOMMU is not set

CONFIG_KEXEC_JUMP=y

CONFIG_ACPI_BLACKLIST_YEAR=0

CONFIG_ACPI_HOTPLUG_MEMORY=m

# CONFIG_INTEL_SCU_IPC is not set

# SHPC has half-arsed PCI probing, which makes it load on too many systems

CONFIG_HOTPLUG_PCI_SHPC=m

CONFIG_CRYPTO_AES_X86_64=y

CONFIG_CRYPTO_SERPENT_SSE2_X86_64=m

CONFIG_CRYPTO_TWOFISH_X86_64=m

CONFIG_CRYPTO_SALSA20_X86_64=m

CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL=m

CONFIG_CRYPTO_SHA1_SSSE3=m

CONFIG_CRYPTO_BLOWFISH_X86_64=m

CONFIG_CRYPTO_TWOFISH_X86_64_3WAY=m

CONFIG_CRYPTO_CAMELLIA_X86_64=m

CONFIG_CRYPTO_CAST5_AVX_X86_64=m

CONFIG_CRYPTO_CAST6_AVX_X86_64=m

CONFIG_CRYPTO_SERPENT_AVX_X86_64=m

CONFIG_CRYPTO_TWOFISH_AVX_X86_64=m

# CONFIG_I2C_ALI1535 is not set

# CONFIG_I2C_ALI1563 is not set

# CONFIG_I2C_ALI15X3 is not set

# CONFIG_I2C_SIS5595 is not set

# CONFIG_I2C_SIS630 is not set

CONFIG_EDAC_AMD64=m

# CONFIG_EDAC_AMD64_ERROR_INJECTION is not set

CONFIG_EDAC_SBRIDGE=m

# CONFIG_PC8736x_GPIO is not set

# CONFIG_DISCONTIGMEM_MANUAL is not set

CONFIG_SPARSEMEM_MANUAL=y

CONFIG_SPARSEMEM=y

CONFIG_HAVE_MEMORY_PRESENT=y

CONFIG_SPARSEMEM_EXTREME=y

CONFIG_SPARSEMEM_VMEMMAP=y

# CONFIG_MEMORY_HOTPLUG is not set

# CONFIG_MEMORY_HOTREMOVE is not set

# CONFIG_BLK_DEV_CMD640 is not set

# CONFIG_BLK_DEV_RZ1000 is not set

# CONFIG_BLK_DEV_TRIFLEX is not set

# CONFIG_BLK_DEV_CS5520 is not set

# CONFIG_BLK_DEV_CS5530 is not set

# CONFIG_BLK_DEV_CS5535 is not set

CONFIG_SGI_IOC4=m

CONFIG_SGI_XP=m

CONFIG_SGI_GRU=m

# CONFIG_SGI_GRU_DEBUG is not set

# CONFIG_VIDEO_CAFE_CCIC is not set

CONFIG_XEN_MAX_DOMAIN_MEMORY=128

# CONFIG_XEN_BALLOON_MEMORY_HOTPLUG is not set

CONFIG_XEN_DEV_EVTCHN=m

CONFIG_XEN_SYS_HYPERVISOR=y

# CONFIG_XEN_MCE_LOG is not set

CONFIG_PROVIDE_OHCI1394_DMA_INIT=y

CONFIG_FRAME_WARN=2048

CONFIG_NODES_SHIFT=9

CONFIG_DIRECT_GBPAGES=y

CONFIG_X86_MPPARSE=y

CONFIG_I7300_IDLE=m

CONFIG_IRQ_REMAP=y

CONFIG_X86_X2APIC=y

CONFIG_SPARSE_IRQ=y

CONFIG_RCU_FANOUT=64

# CONFIG_RCU_USER_QS is not set

CONFIG_INTEL_TXT=y

CONFIG_GPIO_LANGWELL=y

CONFIG_FUNCTION_GRAPH_TRACER=y

CONFIG_I7300_IDLE=m

CONFIG_BPF_JIT=y

# Should be 32bit only, but lacks KConfig depends

# CONFIG_XO15_EBOOK is not set