int main()
{

	/*******************************************************/
	/*** Start off by performing some set-up on the host ***/
	/*******************************************************/

	/* Enable the cache */
	microblaze_enable_dcache();
	microblaze_enable_icache();

	/* Reset the NoC, assign node ID's, and setup the RTC */
	xil_printf("V5 Many-Core Test \r\n");
	NoC_reset();
	NoC_Assign_Node_IDs();
	RTC_Set_Prescaler(100-1); // Set the pre-scaler to 99 (F=1MHz)

	/* Read and store the current TRC time */
	Xuint32 startTime = RTC_Read_Value();
	xil_printf("RTC: %d\r\n", startTime);


	Xuint8 startNode = 0;
	Xuint8 returnNode = 11;

	/**********************************************/
	/***  Now we're setup lets test the system  ***/
	/**********************************************/

	int i;
	for (i = 0; i<6; i++) {
		startNode = i;
		returnNode = 11 - i;
		NoC_Write_Sys_Packet(startNode, &returnNode, 1, 0);
	}


	while(1);
}
