By now there’s no opensource port for PIC18 in FreeRTOS. However, SDCC has a port for PIC18 microcontrollers (this port is under development). In the last FreeRTOS distribution there is only Cygnal port for SDCC. Pesonaly, I’m very interested in SDCC PIC18 port for FreeRTOS. Is there anybody else to help with it?

I have a PIC port that Vangelis Rokas sent me that uses SDCC.  Unfortunately it requires changes to the core kernel code so I cannot include in the download at this time.  I have not tested it either – but will be happy to send it to you if you would like to take a look.  If so send me an email to the address listed on the FreeRTOS.org contacts page and I will forward it to you (r dot barry at free……etc).  Don’t use a sourceforge email address as attachments can get striped. Regards.