Has the ThunderX family shipped in "mere mortal" hardware, or is it all supercomputers and custom FANG servers and the like? I seem to remember that when ThunderX first launched, there was some noise about "ARM servers" being a market that exists, and the company I worked for at the time was looking into using it for a new product but gave up on it for some reason.