reset_test.c

#include <stdio.h>
#include "platform.h"
#include "xil_printf.h"
#include "sleep.h"
#define GPIO_DIRM_5_OFFSET 0XFF0A0344
#define GPIO_OEN_5_OFFSET 0xFF0A0348
#define GPIO_DATA_5_OFFSET 0xFF0A0054

#define REG(address) *(volatile unsigned int*)(address)

void reset(){
	//low!
	REG(GPIO_DATA_5_OFFSET) &= ~(1 << 31);
	usleep(1000);
	//high!
	REG(GPIO_DATA_5_OFFSET) |= 1 << 31;
}
int main()
{
    init_platform();
    int i = 0;

    print("Hello World\n\r");
    //set EMIO95 as output
    REG(GPIO_OEN_5_OFFSET) |= 1 << 31;
    REG(GPIO_DIRM_5_OFFSET) |= 1 << 31;
    for(i=0; i<10; i++){
    	sleep(5);
    	print("Reset now!!!");
    	reset();
    }
    print("Successfully ran Hello World application");
    cleanup_platform();
    return 0;
}