2
# Config options for config.common.amd64 automatically generated by splitconfig.pl
5
CONFIG_ACPI_BLACKLIST_YEAR=0
6
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
7
CONFIG_ARCH_DMA_ADDR_T_64BIT=y
8
CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-rdi -fcall-saved-rsi -fcall-saved-rdx -fcall-saved-rcx -fcall-saved-r8 -fcall-saved-r9 -fcall-saved-r10 -fcall-saved-r11"
9
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
10
# CONFIG_ASYNC_TX_DMA is not set
12
# CONFIG_FLATMEM_MANUAL is not set
14
CONFIG_GENERIC_TIME_VSYSCALL=y
16
# CONFIG_HAVE_AOUT is not set
17
CONFIG_HAVE_CPUMASK_OF_CPU_MAP=y
18
# CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
19
# CONFIG_I2C_PXA_PCI is not set
20
CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
24
# CONFIG_KTIME_SCALAR is not set
25
CONFIG_LOG_BUF_SHIFT=18
26
# CONFIG_M686 is not set
28
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
29
CONFIG_PHYS_ADDR_T_64BIT=y
31
# CONFIG_REGULATOR_DEBUG is not set
32
CONFIG_SCSI_SPI_ATTRS=y
33
CONFIG_SCSI_SYM53C8XX_2=y
34
# CONFIG_SND_OPL4_LIB_SEQ is not set
35
# CONFIG_SND_SBAWE_SEQ is not set
36
CONFIG_SPARSEMEM_MANUAL=y
37
# CONFIG_SPI_PXA2XX_PCI is not set
38
CONFIG_SYS_HYPERVISOR=y
39
# CONFIG_X86_32 is not set
41
CONFIG_X86_INTERNODE_CACHE_SHIFT=7
42
CONFIG_X86_MINIMUM_CPU_FAMILY=64
43
CONFIG_X86_SPEEDSTEP_LIB=m
45
CONFIG_XEN_PRIVILEGED_GUEST=y