The OEM Product design guide for the Jetson TX1 states that the Hot plug detect (HPD) can be inverting or non-inverting. (Page 36, note 2).
It looks, however, like the HPD is triggered on a falling edge (inverted on the dev kit) exlusively.
How does one go about changing this for non-inverted operation? Ie. how do you trigger the HPD I2C sequence on a rising edge?