Video output for SoC

Hi, I am wondering if there are some reference designs for implementing a frame buffer for the Linux part in the FPGA fabric of a Cyclone 5 SoC (to get e.g. an DVI output). If not: Has any...