I redirected Ethernet 1 to PL according to this article http://zedboard.org/content/redirecting-peripherals-mio-emio
But I suppose it is not enough. It's necessary to modify Linux device tree and
1. add definition of the Ethernet 1 (it's simple)
2. tell Ethernet controller to get Rx/Tx clocks from EMIO - I do not have any idea how to do it.
Can you help with it?