blob: 3a4f16aea4bf234c13ebb59e6ed16a08205b03e7 [file] [log] [blame]
Jeremy Fitzhardingee738fca82007-07-17 18:37:05 -07001#
2# This Kconfig describes xen options
3#
4
5config XEN
Rusty Russelld3d1c4bdf12007-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 Fitzhardingeaf7ae3b2008-04-02 10:54:12 -070010 depends on X86_CMPXCHG && X86_TSC && !(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.