Is there a board definition file for the PicoZed 7015/PicoZed carrier available for Vivado 2016.2? I don't see the PicoZed listed under "Boards" when I create a new project, and I don't see a downloadable definition file anywhere on zedboard.org unless I am missing it. I am trying to put together the necessary stuff in Vivado to get the second Ethernet port on the carrier to work when running Linux on the PicoZed.
