stm32_using_cube_and_not/the_actual_project/App/main.c

#include "platform.h"

int main()
{
	platform_init();

	while(1)
	{
		pgi_gpio_set(RED_LED);
		platform_service();
	}
}