2 # This Kconfig describes xen options
6 bool "Xen guest support"
9 depends on X86_64 || (X86_32 && X86_PAE && !(X86_VISWS || X86_VOYAGER))
10 depends on X86_CMPXCHG && X86_TSC
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"
22 The pseudo-physical to machine address array is sized
23 according to the maximum possible memory size of a Xen
24 domain. This array uses 1 page per gigabyte, so there's no
25 need to be too stingy here.
27 config XEN_SAVE_RESTORE