如何通过s32k144定时器从VLPS唤醒？

我想实现 VLPS 模式，然后在 s32K144 上通过定时器唤醒。我可以将 s32k144 设置为 VLPS 模式，并通过中断 GPIO 唤醒。但是不知道如何通过定时器唤醒。你能为我的目的与我分享一些经验吗？