I have found what looks like a typo in the technical reference (SPNU503B). I am trying to write to the ECC bits, and was running into issues. The technical reference says ECC bits are located at 0xF0040000, but when using the F021 library, Fapi_remapMainAddress(0) gives me the address 0xF0400000.
Thanks,
Westin