Basic protothreads example with timers on EFM32