#include "xgpio.h"
#include "xparameters.h"

int main(void)
{
	XGpio gpLED;
	XGpio gpPB;

	XGpio_Initialize(&gpLED, XPAR_LEDS_4BIT_DEVICE_ID);
	XGpio_Initialize(&gpPB, XPAR_PUSHBUTTONS_5BIT_DEVICE_ID);

	XGpio_SetDataDirection(&gpLED, 1, 0x00000000);
	XGpio_SetDataDirection(&gpPB, 1, 0x0000001F);

	Xuint32 data = 0;

	while(1)
	{
		data = XGpio_DiscreteRead(&gpPB, 1);
		XGpio_DiscreteWrite(&gpLED, 1, data);
	}
}