But then they go on to say that their &quot;previous binutils used&quot; was <a href="https:&#x2F;&#x2F;github.com&#x2F;myri&#x2F;lanai-binutils" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;myri&#x2F;lanai-binutils</a>.<p>It certainly seems believable that this is a third-party processor architecture, but Google has a contract with them to build specific models of that processor that meet their needs (possibly alongside some other proprietary hardware, like a high-speed NIC), and those models aren&#x27;t sold to the general public. That&#x27;s pretty common outside x86, right? For instance, is there a way for me to buy a BCM2835 other than by buying a Raspberry Pi?