This is a question related to https://e2e.ti.com/support/processors-group/processors/f/processors-forum/1057097/am6442-timers-used-in-linux-sdk?tisearch=e2e-sitesearch&keymatch=a53_timer0#
I want to confirm that if the latest kernel SDK supports driver for Peripherals > Timer Modules > Timers