On Wed, 2018-08-01 at 08:22 +0100, Marc Zyngier wrote:> > > Box is a 4 node/64 core TaiShan 2280.> > Is that what is also known as D05/HIP07, with 64 Cortex-A72?No idea, our rent-a-box web client shows nothing informative. -Mike