- Update Xen patches to 3.4-rc3 and c/s 1172.
[linux-flexiantxendom0-3.2.10.git] / kernel / Kconfig.preempt
index ce00662..2b92ad6 100644 (file)
@@ -36,6 +36,7 @@ config PREEMPT_VOLUNTARY
 
 config PREEMPT
        bool "Preemptible Kernel (Low-Latency Desktop)"
+       depends on !XEN
        select PREEMPT_COUNT
        select UNINLINE_SPIN_UNLOCK if !ARCH_INLINE_SPIN_UNLOCK
        help