/*
 * main.c
 *
 *  Created on: 2024928
 *      Author: 11418
 */

#include "stdio.h"
#include "xil_cache.h"
#include "string.h"
int main(void)
{
	memset ((void*)0x1800000,0xff,1024*64);
	Xil_DCacheDisable();
	while(1);
	return 0 ;
}

