- Update Xen patches to 3.3-rc5 and c/s 1157.

[linux-flexiantxendom0-3.2.10.git] / drivers / idle / Kconfig

diff --git a/drivers/idle/Kconfig b/drivers/idle/Kconfig
index 8489eb5..9d643c1 100644 (file)
--- a/drivers/idle/Kconfig
+++ b/drivers/idle/Kconfig
@@ -10,7 +10,7 @@ config INTEL_IDLE
          processors intel_idle does not support.
 
 menu "Memory power savings"
-depends on X86_64
+depends on X86_64 && !XEN
 
 config I7300_IDLE_IOAT_CHANNEL
        bool