may I know what’s your steps to modify the pinmux spreadsheets in detail.
had you perform the python script $OUT/Linux_for_Tegra/kernel/pinmux/t186/pinmux-dts2cfg.py to converts pinmux dts in to cfg format, and fully flashing the board?
are you able to control the PWM via sysfs?
to populate the channel ID, # echo 0 > /sys/class/pwm/pwmchip2
the channel will be populated and you should be able to configure the require values. # echo <num> > period # echo <num> > duty_cycle # echo 1 > enable
you’ll need to check whether GPIO13 is being used by something else in software, and thus the change is not getting reflected.
please disassembler the dtb file into text file to review the settings.
for example, $ dtc -I dtb -O dts -o output.txt tegra.dtb