Custom board, hdmi display not showing

[loic.boileau]

I did by using same command as him, ./flash.sh on devkit then i switch the module on custom board.

@YasirHu

After modify pinmux or devicetree, I run flash.sh like below:

sudo ./flash.sh -r jetson-agx-orin-devkit mmcblk0p1

I have checked the devicetree change by check if there is os_gpio_hotplug_a or not.
The pinmux and devicetree changes should really done.

So the whole process is to rebuild kernel when the source files are modified, then always reflash manually to be sure that modification are made.