Closed atishp04 closed 1 year ago
We can modify all the reference of "tee" to cove as well to align it well or leave it as it is for now.
I'd say it's better to do it now to avoid leaving obsolete references behind.
Done.
Just to confirm, we are not merging this because sbi-rs is not pointing to the correct commit. right?
Just to confirm, we are not merging this because sbi-rs is not pointing to the correct commit. right?
right
Just to confirm, we are not merging this because sbi-rs is not pointing to the correct commit. right?
right
It is updated now.
This needs to be merged after https://github.com/rivosinc/sbi-rs/pull/15
As mentioned in that PR, This patch only updates the extension name & ID as per the latest naming changes in the spec. We can modify all the reference of "tee" to cove as well to align it well or leave it as it is for now.