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

void setup() 
{
  gpio_init_pin(GPIO_PORT_F, GPIO_PIN_0, GPIO_OUTPUT);//set portf pin as output
  gpio_init_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_OUTPUT);//set port k pin as output 

  gpio_write_pin(GPIO_PORT_K,GPIO_PIN_0,GPIO_HIGH);// set portk pin0 value high

  TIMER_INIT(10,SEC,toggle_led);//non block timer initialization,user defined callback.
  TIMER_START();//then we start timer, which calls user defined function evry 10 seconds. 
}

void loop() 
{ 
  //blocking delay code  
  gpio_write_pin(GPIO_PORT_F,GPIO_PIN_0,GPIO_HIGH);//set portf-pin0 high for 5 seconds..
  timer_delay(5,SEC);//blocking delay 5 seconds

  gpio_write_pin(GPIO_PORT_F,GPIO_PIN_0,GPIO_LOW);//set portf-pin0 low for 5 seconds..
  timer_delay(5,SEC);  //blocking delay 5 seconds
}

//user defined callback ISR function...    
void toggle_led(void)
{ 
  //WRITE YOUR TIMER isr CODE
  gpio_toggle_pin(GPIO_PORT_K,GPIO_PIN_0);//gpio driver function to toogle portk-pin0
}