#include "gpio.h"

int main(void)
{
	gpio_init();
    /* Loop forever */
	while (1) {
		led_toggle();
	}
}