Using DP_AUX_CH0/1 for Misc I2C

The Jetson TX1 OEM Product Design Guide seems to imply that DP_AUX_CH0 and DP_AUX_CH1 can be used for miscellaneous I2C functions if display ports aren’t being used in your design. I’d like to use these interfaces to drive additional general purpose I2C buses but I can’t really find any guidance in the documentation (e.g. X1 ref guide) on how to set this up. Has anyone done this or have any ideas on how this can be accomplished?

There is no pull-up resistor on Jetson TX1, you need to add two pull-up resistors (typical 1kohm) on the lines and connect them to 1.8V/3.3V as need.

As for the pin settings you can refer to this related TK1 topic: