build/configs/stm32l4r9ai-disco: Enable tickless Idle config
@@ -554,6 +554,8 @@ CONFIG_DISABLE_OS_API=y
# Clocks and Timers
#
# CONFIG_ARCH_HAVE_TICKLESS is not set
+CONFIG_ARCH_HAVE_TICKSUPPRESS=y
+CONFIG_SCHED_TICKSUPPRESS=y
CONFIG_USEC_PER_TICK=10000
CONFIG_SYSTEM_TIME64=y
# CONFIG_CLOCK_MONOTONIC is not set
