Linux Kernel forked from ADI (with latest ADI HDMI drivers) - View it on GitHub