tree fea5513eafae5e6ba94696deab567622485bc003
parent a631cacdcc7bb2dda5e4ec282ad0c19338b00bf7
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1639072663 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> 1639084554 +0000

[rom_ctrl,util] Use secded_gen's ecc_encode_some

Rather than doing things by hand (which is rather more error-prone).
Note that this actually changes the results (because there was a bug
in my add_ecc32 where we computed (word ^ bitmask) instead of (word &
bitmask)).

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>