Hi,
No, the driver for the HDMI interface core is currently not integrated into the mainline kernel. But we are working on it, stay tuned. But that's the only part missing from the ADI side, but there are probably a few Xilinx bits that are missing.
- Lars