picoC port for STM32 and EFM32 processors