Would there be any advantage in using FreeRTOS + TCP, over FreeRTOS + LWiP which seems to be the Xilinx standard way of implmeneting an IP stack in Microblaze. it seems that FreeRTOS + LWiP has been ported for Zync, but not for Microblaze.
Hopefully someone with some experience might suggest a way forward.