a port of contiki to Jennic's JN5139 mcu