Re:SeL4 is verified on RISC-V
by guug on Wednesday June 10, 2020 @09:01PM
(#23484114)
Sure, but you need a handful of units to evaluate them properly. Availability of units is a huge concern and (imo) the largest barrier to boader adoption of non-x86 servers; ie, no sane person would hedge their operations on a single server vendor that can't reliably supply compatible units when needed. At least, not willingly.
[ Parent
| on HN ]
There are no comments on this comment yet.