Ability to source replacements. Behavioural predictability (or, more specifically, correctness). Backwards-compatibility. Side-channels, or preferably lack ther

Ability to source replacements. Behavioural predictability (or, more specifically, correctness). Backwards-compatibility. Side-channels, or preferably lack thereof. So-called "trusted execution environments". Sure, Intel isn't leading in any of these either – except maybe backwards-compatibility –, but there are more characteristics we care about than just the three you listed.