News for hackers. Stuff that matters.

A comment on SeL4 is verified on RISC-V. Parent comment

Re:SeL4 is verified on RISC-V by detaro on Wednesday June 10, 2020 @06:36AM (#23475641)
I don't think RISC-V servers are anywhere near that level of development.
[ Parent | on HN ]

There are no comments on this comment yet.