I uploaded a new version of the FPGA section and of li_gangyi's PSU schematic and board to
github and
dropbox. Commit logs:
Routed PSU: Fixed the package of the PSU switchers (had two pads) and routed the PSU section.
Created symbols for VCCINT[01]: Added corresponding symbols to the project.lbr library and used them in the FPGA files. Also replaced the older name of the library with the correct one in the schematic.
Next is the MCU section.
We still need to put in the clk sources as well.
I suggest 100Mhz with a 2.5v oscillator module, on pin IO L40P GCLK11 M1A5 (each FPGA has 1).
Edit: I looked at the routed PSU, you might want to put some vias under the LMZ modules to better sink heat away from the thermal pad. In fact you could use unused layers in the board to make a more effective heatsink as well.