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

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

diff --git a/drivers/rtc/Kconfig b/drivers/rtc/Kconfig
index 3a125b8..6ca5cbd 100644 (file)
--- a/drivers/rtc/Kconfig
+++ b/drivers/rtc/Kconfig
@@ -556,7 +556,7 @@ config RTC_DRV_DS1742
 
 config RTC_DRV_EFI
        tristate "EFI RTC"
-       depends on IA64
+       depends on IA64 || (XEN && EFI)
        help
          If you say yes here you will get support for the EFI
          Real Time Clock.