Our code(CCS) is built from a tirtos example(tcp_echo) and the boot_emac_flash_app_magicpacket_update_MSP_EXP432E401Y_nortos_ccs is a "nortos", where we picked the lwip code.
Looks like we have to adjust the lwipopts.h file, but when we change the NO_SYS to 0 the compilation fails:
#define NO_SYS 0 // default is 0
We cannot find the typedef anywhere
xQueueHandle