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


XGpio_Config *led_config;
XGpio led;


void gpioInit(){

	led_config = XGpio_LookupConfig(XPAR_AXI_GPIO_0_DEVICE_ID);
	int status = XGpio_CfgInitialize(&led, led_config, led_config->BaseAddress);

	if(status == XST_SUCCESS)
		xil_printf("LED Init SUCCESSFUL\n");
	else
		xil_printf("Device INit Failed\n");

}


int main()
{
    init_platform();
    gpioInit();

    XGpio_SetDataDirection(&led, 1, 0x0);
    XGpio_DiscreteWrite(&led,1, 0x1);
    XGpio_DiscreteWrite(&led,1, 0x2);
    XGpio_DiscreteWrite(&led,1, 0x3);
    XGpio_DiscreteWrite(&led,1, 0x4);
    XGpio_DiscreteWrite(&led,1, 0x5);
    XGpio_DiscreteWrite(&led,1, 0xf);

    cleanup_platform();
    return 0;
}