How to change HDMI HPD to active high on Xavier NX?

I have a custom carrier board that has HPD in active high, I read on forums post about TX2 that we need to edit the device tree in kernel sources and rebuild it. However, Xavier NX is t19x platform right? I cannot find where exactly to edit the dtsi files.

Why do you need to change HDMI HPD polarity? The default setting should match your hardware design.

Did you make a inverted hardware so you want to change the device tree?

How about you figure out which is your dts running on your board first?

https://elinux.org/Jetson/General_debug

Hi @WayneWWW, thanks!

I found that the source files for Jetson Xavier NX are located in:

source/hardware/nvidia/platform/t19x/jakku/kernel-dts

For easy reference:
We have to do
dmesg | grep dts
on the Jetson terminal