3#include "stm32g4xx_hal.h"
7void core_GPIO_init(GPIO_TypeDef *port, uint16_t pin, uint16_t dir, uint32_t pull);
8void core_GPIO_digital_write(GPIO_TypeDef *port, uint16_t pin,
bool state);
9bool core_GPIO_digital_read(GPIO_TypeDef *port, uint16_t pin);
11void core_heartbeat_init(GPIO_TypeDef *port, uint16_t pin);
12void core_GPIO_toggle_heartbeat();
13void core_GPIO_set_heartbeat(
bool state);