CONFIG_64BIT=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
CONFIG_ARCH_MMAP_RND_BITS_MIN=28
CONFIG_ARCH_MMAP_RND_BITS_MAX=32
CONFIG_PGTABLE_LEVELS=4
CONFIG_KALLSYMS_ABSOLUTE_PERCPU=y
CONFIG_ARCH_MMAP_RND_BITS=28
CONFIG_HAVE_ARCH_VMAP_STACK=y
# CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
CONFIG_X86_MINIMUM_CPU_FAMILY=64
CONFIG_NR_CPUS=256
CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
CONFIG_HAVE_BOOTMEM_INFO_NODE=y
CONFIG_PHYS_ADDR_T_64BIT=y
CONFIG_ARCH_WANTS_THP_SWAP=y
# CONFIG_X86_SPEEDSTEP_LIB is not set
# CONFIG_HAVE_AOUT is not set
CONFIG_SYS_HYPERVISOR=y
CONFIG_HYPERV_TSCPAGE=y
CONFIG_MAILBOX=y
CONFIG_EFI_CAPSULE_LOADER=m
# CONFIG_UNWINDER_FRAME_POINTER is not set
