This probably isn't needed since you don't use any stm32-specific types in your API or config.

You probably also don't need <pios.h> but I'm not sure.