Hi,
The only check items for Orin HDMI are
- Pinmux
- DCB in dtb file needs to be correct. hotplug properties need to be added.
- Full flash instead of partial update.
And the only method to check this is xorg.0.log and xrandr result. Dmesg won’t show and /sys/kernel/debug/gpio won’t show anything either because the hotplug is handled by DCE R5 core. Not CCPLEX.