Ports of Tock for STM32 chips and discovery boards - View it on GitHub