kernel/utils/immut_after_init: fix soundness issues - Githubissues

coconut-svsm / svsm

COCONUT-SVSM

MIT License

122 stars 43 forks source link

kernel/utils/immut_after_init: fix soundness issues #290

Closed 00xc closed 8 months ago

00xc commented 8 months ago

Reintroduce Copy bound for ImmutAfterInitCell (reported by @msft-jlange)
Fix Send and Sync unsafe implementations.