I'm preparing a board support patch for the Arty Z7-20, using the Zybo Z7 as a reference. The device tree is complete and I have the FSBL + U-Boot boot flow working in hardware. Is a working ps7_init_gpl.c and SPL boot path required for an initial submissions, or is that acceptable as a follow on patch? ~ George