Port Contiki to STM32