[submodule "hdmi-out-test/digilent.ipdefs"] path = hdmi-out-test/digilent.ipdefs url = https://github.com/Digilent/vivado-library.git