On 5 Jan 2022, at 16:39, Konstantin Khomoutov <kostix@xxxxxxxx> wrote: > > On Wed, Jan 05, 2022 at 01:23:10PM +0000, Jessica Clarke wrote: > > [...] >> This means that, currently, the code when run on a CHERI architecture >> will preserve the metadata from the integer, i.e. an invalid capability >> that will trap on deference, and not the pointer. > > ^ You have probably meant to use "dereference" here. Indeed I did; spellcheck doesn’t help for wrong words... Should I send a v2, or can that be fixed on git-am? Jess
