The answer appears to be: even though we are not using the on-chip HDMI unit, loading the driver ti81xxhdmi.ko is also required.
Thanks,
Dave
The answer appears to be: even though we are not using the on-chip HDMI unit, loading the driver ti81xxhdmi.ko is also required.
Thanks,
Dave