I added pull-up resistors to pins 98 and 100. I finally saw I2C communication once the hotplug was activated.
After reconnecting all the signals, HDMI is now working properly.
The hotplug was correctly configured, but HDMI was blocked at the I2C communication level.
Out of curiosity, how are pins 98 and 100 configured ? I am surprised that they do not have internal pull-up resistors. When these pins are left floating, the I2C communication is not visible and there are no logs. Does the Jetson perform a read on these pins before actually using them ?
I can’t speak for whoever actually designed it, but adding a pull-up or pull-down potentially increases power consumption. Also, on an embedded system intended to use a custom carrier board of unknown requirements, it seems logical to not include those resistors on the module itself. Most of what you see is more or less a reference and not intended for a final product (the custom carrier board in combination with a commercial module is what one should find in final products).