Интересно, почему мне примерно каждые две недели хочется безудержно материть софтовую поддержку Texas Instruments? Вот и в этот раз нарвался на известный уже многим баг (точнее, адов набор багов) в порте lwIP на микроконтроллеры серии Tiva:
https://e2e.ti.com/support/microcontrollers/other/f/908/t/370852
Смотреть на файл и делать многочисленные фейспалмы можно тут:
https://github.com/yuvadm/tiva-c/blob/master/third_party/lwip-1.4.1/ports/tiva-tm4c129/sys_arch.c
Честное слово, иногда кажется, что выложенные каким-то чуваком самописные примеры работы с lwIP на, прости Господи, 1986ВЕ3Т тестировались куда тщательнее творчества техасовских индусов.
Да, для решения большинства проблем с sys_arch.c из комплекта TivaWare при работе с FreeRTOS достаточно просто подменить этот файл на более нормальный, аппаратно-зависимого там ничего нет, так что берите из любого другого порта lwIP под FreeRTOS.