#include <stdio.h>
#include "platform.h"
#include "xil_printf.h"
#include "xgpio.h"
#include "xparameters.h"

XGpio_Config *gpio_config;
XGpio gpio;

void gpio_init(){

	gpio_config = XGpio_LookupConfig(XPAR_AXI_GPIO_0_DEVICE_ID);
	int status = XGpio_CfgInitialize(&gpio, gpio_config, gpio_config->BaseAddress);
   if(status == XST_SUCCESS)
	   xil_printf("GPIO INIT SUCCESSFUL\n");
   else
	   xil_printf("GPIO INIT FAILED\n");
}


int main()
{   u32 dataRead = 0;

    init_platform();
    gpio_init();
    XGpio_SetDataDirection(&gpio, 1, 0x0000);

    while(1)
    {
    	XGpio_DiscreteWrite(&gpio, 1, 0xffff);
    	sleep(1);
    	XGpio_DiscreteWrite(&gpio,1,0x0000);
    	sleep(1);

    }



    cleanup_platform();
    return 0;
}