Arduino core for EFM32HG and Tomu boards (very much work in progress) - View it on GitHub