Contiki Port to Microchip PIC24 and dsPIC series microcontrollers.