/*
 * main.c
 *
 *  Created on: 26 Jan 2017
 *      Author: mr589
 */
#include "NoC_lib_V5.h"
#include "xil_printf.h"
//#include "rtc.h"

int main()
{
	xil_printf("V5 Many-Core Test \n");

	RTC_Set_Prescaler(100-1);
	xil_printf("RTC: %d\n", RTC_Read_Value());


	NoC_reset();
	NoC_Assign_Node_IDs();

	int test = 400;

	NoC_Write_Sys_Packet(2, NULL, 0, 0x80);

	xil_printf("RTC: %d\n", RTC_Read_Value());
	RTC_Reset_RTC();
	xil_printf("RTC: %d\n", RTC_Read_Value());
	while(1);
}
