During disable attestation we clear the RT alias key. Ideally we would also clear the FMC alias key, but since it is locked I don't know if this is possible.
Also, either we would need to repopulate the FMC CDI/privkey once we delete it (if possible) or make FMC tolerate the fact that it's not populated.
We should experiment on verlator and/or FPGA to see if this works.
During disable attestation we clear the RT alias key. Ideally we would also clear the FMC alias key, but since it is locked I don't know if this is possible.
Also, either we would need to repopulate the FMC CDI/privkey once we delete it (if possible) or make FMC tolerate the fact that it's not populated.
We should experiment on verlator and/or FPGA to see if this works.