Hi,
The JP5.1.5 release notes have section on “Implementation Details - 4.2.3” which has a workaround patch for the GPIO used for HDMI hotplug detection (DP0_HPD on PM.00). Our custom carrier instead uses DP1_HPD, PM.01. How should the tegra234-mb2-bct-scr-p3767-0000.dts file be patched for this use case?
Malcolm