Contiki OS port for Protectee