I may be up for this, I'm just getting started with a Kintex7 board, serial interface initially but PCIe is a possibility - my s/w skills aren't up to driver writing so some leverage of synergies possible.
Any pointers to working multicore xilinx designs (vhdl or verilog) with s/w support would be appreciated.