#include "xparameters.h"
#include "xio.h"

int main(void)
{
	print("prng test\n");

	Xuint32 data;

	// Write to testReg and check the correct value can be read back
	XIo_Out32(XPAR_PRNG_0_BASEADDR, 0xABCD1234);
	data = XIo_In32(XPAR_PRNG_0_BASEADDR);

	xil_printf("TestReg: %08X\n", data);
	if (data != 0xABCD1234) return 1;

	Xuint32 count = 0;

	for (count=0 ; count < 10 ; count ++)
	{
		data = XIo_In32(XPAR_PRNG_0_BASEADDR+4);
		xil_printf("%d - LFSR: %08X\n", count, data);
	}

	return 0;
}