Hey I am actually working on a very similar project (with the Nexys Video as well) and was wondering if you could help me through it? I tried a passthrough with just EDID and I/O buffers but I am not getting anything on the sink monitor. Did you happen to change anything after all? The links to your source codes are not working unfortunately...