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

XScuWdt wdt;
XScuWdt_Config *wdt_config;

void wdt_init(){
	wdt_config = XScuWdt_LookupConfig(XPAR_PS7_SCUWDT_0_DEVICE_ID);
	int status = XScuWdt_CfgInitialize(&wdt, wdt_config, wdt_config->BaseAddr);
	if(status == XST_SUCCESS)
		xil_printf("WDT Init Successful\n");
	else
		xil_printf("WDT Init Failed\n");

	status = XScuWdt_SelfTest(&wdt);

	if(status == XST_SUCCESS)
		xil_printf("Self Test Successful\n");
	else
		xil_printf("Self Test Failed\n");


}


int main()
{   int temp = 0;
    init_platform();
    wdt_init();
    XScuWdt_SetWdMode(&wdt);
    /////ARM clock = 667 MHz
	u32 delayCount = 333333333 * 5;
	XScuWdt_LoadWdt(&wdt, delayCount);
	XScuWdt_Stop(&wdt);
	XScuWdt_Start(&wdt);
	while(temp < 100)
	{
		temp++;
		sleep(1);
		xil_printf("Temp : %0d\n",temp);
		XScuWdt_RestartWdt(&wdt);

	}

    cleanup_platform();
    return 0;
}