Hello Pablo,
The status does indicate an fault at 0x0800_0010. At the moment I'm not certain as to why it is not exporting the ECC error event to to the RAM memory controller. I believe you have enabled the X bit to export the event bus. Can we just make sure it is actually set. Can you tell if bit4 of the PMNC register in the CPU is set?
Can you also show the code sequence how you generated the double bit error? Thanks.
regards,
Charles