HDMI-CEC support Status

Is there a 3rd party library available for the Jetson Xavier NX to use CEC with the HDMI port?

There is no CEC software in userspace yet.