sbaranga-arm

At the moment it's the job of the dynamic linker to make sure only one pair of capabilities is allocated per function pointer while resolving the relocations, and that provides...

R_MORELLO_JUMP_SLOT being under-document - fair point. Changing the fragment encoding also makes sense to me (although I wonder if we could also change the R_MORELLO_RELATIVE fragment encoding to make use...

I agree, we should further clarify that. For the otype: at the moment this is left up to the dynamic linker. However in practice all runtimes should seal these.

Just trying to gather more information about what we need this for (not saying this shouldn't be possible but this would be an ABI break). For compartment calls we would...

A lot of memcpy calls are emitted by the compiler (e.g. for assignments) and those would copy the entire object. For these cases it would make sense to emit a...