News for hackers. Stuff that matters.
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...

There are no comments on this comment yet.