自分の過去のメモより
How to change ethernet PHY PetaLinux 2014.2?
$ petalinux-config -c kernel
を実行して、
.[Device Drivers]-[Network Device Support]-[PHY Device Support] を選択すると表示される。
hardnet.com > PetaLinux ZYBO BSP Now Available To Download – 2014.4 Board Support Package / lab files
から作成したプロジェクトで上記を確認したところ、「Drivers for Realtek PHYs」のチェックが外れている。
ZYBOが到着してからEthernetが認識できない場合は、このチェックをつけてみるのがいいだろう。