Is there any restriction in the choice of Ethernet PHY, depending on the TCP/IP stack?
Basically there should be no difference what PHY You'll use, since the low level driver is written separately from all the TCP/IP stack itself. At least I am sure this is done in LwIP, since I use this stack with Micrel PHY - had to write my own initialization setup stuff.