29 lines
		
	
	
		
			744 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			29 lines
		
	
	
		
			744 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
# global x86 required specific stuff
 | 
						|
# On 32-bit HIGHMEM4G is not allowed
 | 
						|
CONFIG_HIGHMEM64G=y
 | 
						|
CONFIG_64BIT=y
 | 
						|
 | 
						|
# These enable us to allow some of the
 | 
						|
# not so generic stuff below
 | 
						|
CONFIG_HYPERVISOR_GUEST=y
 | 
						|
CONFIG_PCI=y
 | 
						|
CONFIG_PCI_MSI=y
 | 
						|
CONFIG_X86_MCE=y
 | 
						|
CONFIG_ACPI_PROCESSOR=y
 | 
						|
CONFIG_CPU_FREQ=y
 | 
						|
 | 
						|
# x86 xen specific config options
 | 
						|
CONFIG_XEN_PVH=y
 | 
						|
CONFIG_XEN_MAX_DOMAIN_MEMORY=500
 | 
						|
CONFIG_XEN_SAVE_RESTORE=y
 | 
						|
# CONFIG_XEN_DEBUG_FS is not set
 | 
						|
CONFIG_XEN_MCE_LOG=y
 | 
						|
CONFIG_XEN_ACPI_PROCESSOR=m
 | 
						|
# x86 specific backend drivers
 | 
						|
CONFIG_XEN_PCIDEV_BACKEND=m
 | 
						|
# x86 specific frontend drivers
 | 
						|
CONFIG_XEN_PCIDEV_FRONTEND=m
 | 
						|
# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet,
 | 
						|
# move to generic config if it ever does.
 | 
						|
CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
 |