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 nix23 on Thursday June 11, 2020 @10:50AM (#23489512)
Sure...what else ;)
[ Parent | on HN ]

There are no comments on this comment yet.