#include "gpio_driver.h"
#include "timer_non_blocking_driver.h"

void setup() 
{
  Serial.begin(9600);
  gpio_init_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_OUTPUT);
  gpio_write_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_HIGH);


  TIMER_INIT(5,SEC,toggle_led);
   timer_non_block_HANDLE_DEBUG();
  TIMER_START();
  
}

void loop() 
{   

   //DO NOTHING..
}



void toggle_led(void)
{ 
  //WRITE YOUR TIMER isr CODE
  gpio_toggle_pin(GPIO_PORT_K,GPIO_PIN_0);
}