| # This Kconfig describes xen options |
| depends on X86_64 || (X86_32 && X86_PAE && !X86_VISWS) |
| depends on X86_CMPXCHG && X86_TSC |
| This is the Linux Xen port. Enabling this will allow the |
| kernel to boot in a paravirtualized environment under the |
| config XEN_MAX_DOMAIN_MEMORY |
| int "Maximum allowed size of a domain in gigabytes" |
| The pseudo-physical to machine address array is sized |
| according to the maximum possible memory size of a Xen |
| domain. This array uses 1 page per gigabyte, so there's no |
| need to be too stingy here. |
| bool "Enable Xen debug and tuning parameters in debugfs" |
| depends on XEN && DEBUG_FS |
| Enable statistics output and various tuning options in debugfs. |
| Enabling this option may incur a significant performance overhead. |