#include "platform.h"

int main()
{
	platform_init();

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