Does the Gigabit Ethernet Controller Compatible with zynq7000?

Hi, All , I am writing the Gigabit Ethernet Controller driver on SylixOS(SMP RTOS), Does the Gigabit Ethernet Controller Compatible with zynq7000?