Question about pwm driver for imxrt

I don’t see any code that is related to the iMXRT1060’s FLEXPWM IO, so it makes me wonder…
Does nuttx/PX4 use the iMXRT FLEXPWM hardware or does it just use timers and GPIO pins?

Answering my own question here…
It does appear that NuttX/PX4 uses the eFLEXPWM feature on the iMXRT1060.