I would like to know how to use the ECC.
First, I tried to add writel() code to the ddrc.c file. but booting is stop at writel() function.
And then, I modified memory according to the Zynq-7000 All Programmable SoC Technical Reference Manual. but board was not booted with red led (D17, D18).
How can I use the ECC?