void stm32_platform_initialize(void);
stm32_platform_initialize initializes the base STM32 platform by powering-up GPIO ports A through I and configuring timer 2 to provide a CPU tick counter.