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 fluffything on Wednesday June 10, 2020 @07:17AM (#23475850)
The 3 big fabs that you'd like to use are fully booked until 2023 or so. So you kind of forgot the "wait 4 years" part.
[ Parent | on HN ]

There are no comments on this comment yet.