You're absolutely right, I missed that entirely. The vast majority of the TOP500 is still x86 but it's already losing ground to ARM. There's still some POWER systems on the list too.