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 nl on Wednesday June 10, 2020 @07:17AM (#23475845)
Competitive RISC-V general purpose servers are probably about 10 years off. Special applications will happen first.

I'd note that ARM servers are finally becoming competitive in specific use-cases. The AWS Graviton2 CPU is useful for many apps.

[ Parent | on HN ]

There are no comments on this comment yet.