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