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 imtringued on Thursday June 11, 2020 @04:49AM (#23486577)
Sure, we will fab your design how many units do you need? We can manufacture 2000000 for you. Oh, you don't need that many? Is 250000 low enough?
[ Parent | on HN ]

There are no comments on this comment yet.