diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index a955d89..caf0099 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -1866,8 +1866,9 @@
 
 config XEN
 	bool "Xen guest support on ARM (EXPERIMENTAL)"
-	depends on ARM && OF
+	depends on ARM && AEABI && OF
 	depends on CPU_V7 && !CPU_V6
+	depends on !GENERIC_ATOMIC64
 	help
 	  Say Y if you want to run Linux in a Virtual Machine on Xen on ARM.