It's wild to me that this is one of the biggest/most serious breaches ever (that's still active!) and our response to it is "use iMessage or WhatsApp" with basically no press time.

Let me guess. The telcos didn't use seL4.