CETIC's fork of Contiki, the open source OS for the Internet of Things