/* This function will init led on the board  */
static void rt_hw_board_led_init(void)
/* This function will init led on the board  */
static void rt_hw_board_led_init(void)
{
	rt_uint32_t status;
	led_data = 0;
	cnt = 0;
	status = XGpio_Initialize(&gpio_output, LEDS_DEVICE_ID);
	if (status != XST_SUCCESS)
	{
		return;
	}
	XGpio_SetDataDirection(&gpio_output, 1, 0x0);
	XGpio_DiscreteWrite(&gpio_output, 1, 3);
}