#include "gpio_driver.h"
#include "timer_driver.h"

void setup() 
{
  Serial.begin(9600);
  //TIMER_HANDLE_DEBUG();
  gpio_init_pin(GPIO_PORT_F, GPIO_PIN_0, GPIO_OUTPUT);
  gpio_init_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_OUTPUT);
}

void loop() 
{ //blocking delay code  
   gpio_write_pin(GPIO_PORT_F,GPIO_PIN_0,GPIO_HIGH);
   timer_delay(1,SEC);
   TIMER_HANDLE_DEBUG();
   gpio_write_pin(GPIO_PORT_F,GPIO_PIN_0,GPIO_LOW);
   timer_delay(1,SEC);
  TIMER_HANDLE_DEBUG();
}