NXP System Timer Module driver

modulename: timer-nxp-stm.ko

configname: CONFIG_NXP_STM_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>NXP System Timer Module driver
In linux kernel since version 6.1.145 (release Date: 2025-07-14)  
Enables the support for NXP System Timer Module found in the
s32g NXP platform series.

source code:
drivers/clocksource/timer-nxp-stm.c

depends
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_ARCH_S32 or CONFIG_COMPILE_TEST