On 17/05/2023 04:25, walter.chang at mediatek.com wrote: > Make the timer-mediatek driver which can register > an always-on timer as tick_broadcast_device on > MediaTek SoCs become loadable module in GKI. Reviewed-by: Alexandre Mergnat <amergnat at baylibre.com>