[PATCH 2/2] timer: Mark this as incompatible with SYS_ARCH_TIMER

[Tom Rini]

The timers implemented under SYS_ARCH_TIMER are not part of the TIMER
framework and thus cannot be enabled at the same time. Express this
dependency in Kconfig and add a note to the help of SYS_ARCH_TIMER.

Reported-by: Marius Dinu <m95d+git at psihoexpert.ro>
Signed-off-by: Tom Rini <trini at konsulko.com>
---
Marius, I ended up reworking things a bit (and also found part 1/2 of
this series) but please let me know if you feel this should retain your
Author and such instead. Thanks!
---
 arch/arm/Kconfig      | 1 +
 drivers/timer/Kconfig | 1 +
 2 files changed, 2 insertions(+)

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 73b4aad28b50..0dba2e2c8567 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -452,6 +452,7 @@ config SYS_ARCH_TIMER
 	  interface to a timer source on an SoC.
 	  It is mandatory for ARMv8 implementation and widely available
 	  on ARMv7 systems.
+	  This timer driver is incompatible with the DM timer framework.
 
 config ARM_SMCCC
 	bool "Support for ARM SMC Calling Convention (SMCCC)"
diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig
index cb6fc0e7fda8..2ab4d971dffa 100644
--- a/drivers/timer/Kconfig
+++ b/drivers/timer/Kconfig
@@ -2,6 +2,7 @@ menu "Timer Support"
 
 config TIMER
 	bool "Enable driver model for timer drivers"
+	depends on !SYS_ARCH_TIMER
 	depends on DM
 	help
 	  Enable driver model for timer access. It uses the same API as
-- 
2.43.0