Yep. And as someone engaged in the RISC-V community, I've seen zero evidence of Google involvement outside of Patterson. Normally if they had something brewing, you would start to see signs on the forums, email, or Github.