AM5728: using high resolution timer as clock source

Part Number: AM5728

using SDK 11 (ti-processor-sdk-linux-rt-am57xx-evm-11_01_02_01-Linux-x86-Install.bin), AM57xx-EVM, kernel 6.12.

I see that /sys/devices/system/clocksource/clocksource0/available_clocksource shows only 32k_counter.

I need higher resolution. How can I define some timer to be clock source?

Thank you,

Michael