https://github.com/danieleff/STM32GENERIC
Unzip it into [Arduino]/hardware folder
This HAL is a modified version of Chris Barr’s Picoprint STM32F4 HAL.