Xilinx-ml507-updated is a project mainly written in C and VHDL, it's free.

xilinx ml507 hardware reference design for xps 12.1