Hi,
Thank you so much for your interest in our products and for using our community.
Yes! 100kHz can be archived with S32K310, for example with eMIOS:
For generate a PWM signal of 100 kHz with eMIOS clock frequency of 120MHz:
1s -> 120MHz (120,000,000 ticks)
100kHz = (1/100,000)s
->120,000,000 *(1/100,000) = 1,200 ticks
Max ticks for eMIOS are 65,534 (16 bits).
Hope it helps you.
Have a nice day!