They licensed their x86 tech to a Chinese company for $293 million
<a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11548354" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11548354</a>