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

[Marius Dinu]

On Wed, 2025-08-13 14.55.11 +-0600, Tom Rini wrote:
> 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!

No need for credits.
I think you should keep the warning message in the Timer drivers menu.
It provides a quick explanation why the menu is empty.

Bugs are reported in this mailing list too?
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
>