FreeRTOS package for EFM32