1139825Simp# global x86 required specific stuff 21549Srgrimes# On 32-bit HIGHMEM4G is not allowed 31549SrgrimesCONFIG_HIGHMEM64G=y 41549SrgrimesCONFIG_64BIT=y 51549Srgrimes 61549Srgrimes# These enable us to allow some of the 71549Srgrimes# not so generic stuff below 8148909SteggeCONFIG_HYPERVISOR_GUEST=y 9148909SteggeCONFIG_PCI=y 101541SrgrimesCONFIG_PCI_MSI=y 111541SrgrimesCONFIG_X86_MCE=y 121541SrgrimesCONFIG_ACPI_PROCESSOR=y 131541SrgrimesCONFIG_CPU_FREQ=y 141541Srgrimes 151541Srgrimes# x86 xen specific config options 161541SrgrimesCONFIG_XEN_PVH=y 171541SrgrimesCONFIG_XEN_SAVE_RESTORE=y 181541Srgrimes# CONFIG_XEN_DEBUG_FS is not set 191541SrgrimesCONFIG_XEN_MCE_LOG=y 201541SrgrimesCONFIG_XEN_ACPI_PROCESSOR=m 211541Srgrimes# x86 specific backend drivers 221541SrgrimesCONFIG_XEN_PCIDEV_BACKEND=m 2358705Scharnier# x86 specific frontend drivers 241541SrgrimesCONFIG_XEN_PCIDEV_FRONTEND=m 251541Srgrimes# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, 261541Srgrimes# move to generic config if it ever does. 271541SrgrimesCONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y 281541Srgrimes