FreeRTOS+TCP on Zynq 7000 (MicroZed) include source file problem

[DAS (Daniel)]

OK, I got the demo to work following this.

Sorry for not doing better research in advance.

Ciao