# # Automatically generated file; DO NOT EDIT. # Xen/x86 4.7.0_12-23 Configuration # CONFIG_X86_64=y CONFIG_X86=y CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig" # # Architecture Features # CONFIG_NR_CPUS=256 CONFIG_SHADOW_PAGING=y # CONFIG_BIGMEM is not set # # Common Features # CONFIG_COMPAT=y CONFIG_CORE_PARKING=y CONFIG_HAS_MEM_ACCESS=y CONFIG_HAS_MEM_PAGING=y CONFIG_HAS_MEM_SHARING=y CONFIG_HAS_PDX=y CONFIG_HAS_KEXEC=y CONFIG_HAS_GDBSX=y CONFIG_HAS_IOPORTS=y CONFIG_KEXEC=y CONFIG_TMEM=y CONFIG_XENOPROF=y # CONFIG_XSM is not set CONFIG_SCHED_CREDIT=y CONFIG_SCHED_CREDIT2=y CONFIG_SCHED_RTDS=y CONFIG_SCHED_ARINC653=y CONFIG_SCHED_DEFAULT="credit" # CONFIG_LIVEPATCH is not set # # Device Drivers # CONFIG_ACPI=y CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y CONFIG_NUMA=y CONFIG_HAS_NS16550=y CONFIG_HAS_EHCI=y CONFIG_HAS_CPUFREQ=y CONFIG_HAS_PASSTHROUGH=y CONFIG_HAS_PCI=y CONFIG_VIDEO=y CONFIG_VGA=y CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"