News for hackers. Stuff that matters.
Re:SeL4 is verified on RISC-V by corty on Wednesday June 10, 2020 @06:33AM (#23475625)
Yes. I just meant that when we tried to obtain a few ARM servers, the only quantity we ever got was "1 sample machine". Thus we couldn't even really try it out ourselves, let alone have customers do meaningful tests on a handful of machines.

Of course in "a few datacenters full of"-like quantities there was just no chance of getting anything. And of course, for making our own hardware (you can get ARM chips, just not full systems) we don't have the expertise, size and will.

There are no comments on this comment yet.