blob: 6c388e593bc804cad3d92f653c1f9ffbb4fd9d3c [file] [log] [blame]
Jeremy Fitzhardingee738fca82007-07-17 18:37:05 -07001#
2# This Kconfig describes xen options
3#
4
5config XEN
Rusty Russelld3d1c4b2007-10-22 10:55:21 +10006 bool "Xen guest support"
7 select PARAVIRT
Gerd Hoffmann1c7b67f2008-06-03 16:17:30 +02008 select PARAVIRT_CLOCK
Eduardo Pereira Habkost42d545c2008-01-30 13:33:32 +01009 depends on X86_32
Jeremy Fitzhardinge28499142008-05-09 12:05:57 +010010 depends on X86_CMPXCHG && X86_TSC && X86_PAE && !(X86_VISWS || X86_VOYAGER)
Jeremy Fitzhardingee738fca82007-07-17 18:37:05 -070011 help
12 This is the Linux Xen port. Enabling this will allow the
13 kernel to boot in a paravirtualized environment under the
14 Xen hypervisor.