I have a Gigabit ethernet card in my primary development computer. When I connect the Mini-ITX Zynq board directly to that (with static IPs on both), it works fine (testing with "ping <address>". However, if it connects through a 10/100Mbit/s switch, it fails to work. Similarly, another development computer with only a 10/100Mbit/s ethernet card directly connected does not work. This makes me conclude that ethernet in anything less than 1Gbit/s mode on the Mini-ITX does not work. I am using the stock standard microSD to boot up. I have also built up my own Linux kernel and image, which also has exactly the same issue.
I also have a Zedboard. With the stock standard SD to boot up, this does work in 100Mbit/s mode through the switch, and with the 100Mbit/s ethernet card in the development computer.
Is this a limitation of the hardware, or is it a software configuration thing (in the kernel?)? If it is configurable, how do I make it work in 100Mbit/s mode? I have never heard of a Gigabit ethernet device not working with lesser speeds before. It seems like quite a limitation that would affect a number of people!