GPIOs on TX2 Dev Kit

I’d like to know if there is a PWM available on the TX2 GPIOs to use?I have to control some servos, so I’ll need them.

Looking online I found everywhere that TX2 Development Kit has UART, SPI, I2C, I2S, GPIOs. How many exactly of each of the above? Is there somewhere I can find more details?

There are pinmux sheet, OEM product design guide and technical reference manual in download center, also you can refer to below topics:

https://devtalk.nvidia.com/default/topic/930478
https://devtalk.nvidia.com/default/topic/1002513

Thanks, but after reading the previous topics, it seems that the best option is to use another microcontroller to make a hardware PWM signal? Is that correct?
The topics you provided refer to Jetson TX1 Development Kit. Is the same with TX2 module?

Yes, GPIO pin can only be used to simulate software PWM output which is not so accurate.