Sorry, repeating as I forgot to include the mailing list: Hello,
According to ARM developer, FEAT_MTE4 only implies the existence of its 4 subfeatures, plus FEAT_MTE2, and MTE_PERM, all of which are now implemented. There are no features that MTE4 guarantees that aren't either already present or introduced by my series. This means that we can now claim to implement FEAT_MTE4, and close the issue. We can also add it to emulation.rst. My apologies -- I can't do that right now because of my current role, but it should be a trivial one-liner for whoever picks it up. Thanks, Gabriel
