2 # This Kconfig describes xen options
6 bool "Xen guest support"
9 depends on X86_CMPXCHG && X86_TSC && X86_PAE && !(X86_VISWS || X86_VOYAGER)
11 This is the Linux Xen port. Enabling this will allow the
12 kernel to boot in a paravirtualized environment under the
15 config XEN_MAX_DOMAIN_MEMORY
16 int "Maximum allowed size of a domain in gigabytes"
20 The pseudo-physical to machine address array is sized
21 according to the maximum possible memory size of a Xen
22 domain. This array uses 1 page per gigabyte, so there's no
23 need to be too stingy here.