Using Vivado 2017.4, SDK 2017.4, I built the Example design (Basic MicroBlaze) for the KC705.
Added DDR3, Timer, Interrupt controller and AXI_Ethernet (1G/2.5G) subsystem.
Export to SDK, made a BSP with LWIP.
I can run Hello World and Periph_test successfully.
I can run the echo_server but it gets stuck when doing the xemac_add():
Many thanks for any help.