Re: [PATCH v4 5/7] clocksource/drivers/arm_arch_timer: Remove CONFIG_GENERIC_GETTIMEOFDAY ifdeffery

[Daniel Lezcano]

On 7/24/26 15:36, Thomas Weißschuh wrote:
> Now that there is a definition of VDSO_CLOCKMODE_ARCHTIMER
> even if no vDSO is built, the ugly ifdeffery can be removed.
>
> Signed-off-by: Thomas Weißschuh <thomas.weissschuh@xxxxxxxxxxxxx>
> Acked-by: Marc Zyngier <maz@xxxxxxxxxx>
> ---
Acked-by: Daniel Lezcano <daniel.lezcano@xxxxxxxxxxxxxxxx>