Re:SeL4 is verified on RISC-V
by corty on Wednesday June 10, 2020 @06:36AM
(#23475642)
Maybe, but that would mean building our own hardware. I don't think anyone here would be comfortable with that, we are not big enough for such an endavour to make any sense at all. We'd rather buy off-the-shelf hardware, preferably from a selection of vendors...
[ Parent
| on HN ]
There are no comments on this comment yet.