Does anyone have FreeRTOS working with ethernet on the PIC32MX Ethernet Starter Kit board? If so, are you using lwIP, or one of the tcp/ip (and maybe http) stacks from Microchip?
I have FreeRTOS running on the board, and I moved the timer interrupt from 1 to 5, as suggested by Microchips AN1264 application note, but I’m having trouble getting beyond that. Their provided examples don’t want to build for this chip. The FreeRTOS.org example seems to not include ethernet support.