It's available
How it works
This is how the ZedBoard and Ethernet FMC make up a complete TCP/IP stack

Physical layer
The Ethernet FMC implements the physical layer.
MAC layer
An IP core in the FPGA implements the MAC layer.
Application, Transport & Internet layers
Linux OS running on the processor implements the Application, Transport and Internet layers.