FreeRTOS PIC32 Ethernet Server ?

Does anyone know where I can get a FreeRTOS PIC32 Ethernet Server ? I have a PIC32 Ethernet Starter Kit (
http://www.microchip.com/stellent/idcplg?IdcService=SS_GET_PAGE&nodeId=2615&dDocName=en545713 ).

FreeRTOS PIC32 Ethernet Server ?

This has Ethernet as one of its keywords http://www.microchip.com/stellent/idcplg?IdcService=SS_GET_PAGE&nodeId=1824&appnote=en544728

FreeRTOS PIC32 Ethernet Server ?

@davedoors I am not sure if this will solve the problem but I will read it. Thanks!