For ARMv9 this potentially means they can pick and choose what they want to implement. I'm sure Apple has had plenty of input into the specification (along with other partners).
For ARMv9 this potentially means they can pick and choose what they want to implement. I'm sure Apple has had plenty of input into the specification (along with other partners).
As an exception, an ARMv8.x-A chip can have some ARMv8.x+1-A extensions, but _never_ 8.x+2-A extensions (forbidden by Arm).
You just have one ISA minor revision of wiggle room.
And yes, Arm architectures are co-designed with plenty of output from partners.
The not well kept rumor is that Apple has a much looser than architectural license due to their very close relationship with ARM, both generally since the early 90s, and that Apple contributed very heavily to early AArch64 design and it's arguably theirs as much as it is ARM's.
There's also the fact that only pc and sp are retained on WFI, without the other GPRs.
Those quirks only affect bare metal kernel-mode (EL2), and do not affect user-mode or virtualised machines at EL1 in any way.