

That’s actually really sick. Makes sense too since RISC-V can be super power efficient and it’s much easier to compile for. I’d guess that even as they get their budget cut, that part will remain operational. Too many private companies that will want to switch to RISC-V and will want to be able to just crib the tooling from a government agency.
Isn’t it cool that modern realpolitik is just playing around with Armageddon?