Can't we have nice things? Not sure how likely a complete ban on RISC-V would be. https://www.theregister.com/2024/05/29/riscv_messsaging_struggle/