News for hackers. Stuff that matters.

A comment on 1Sub.dev – A world where people pay for software. Parent comment

Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @11:29AM (#36879387)
seL4 is a formally verified OS kernel. https://sel4.systems/About/
[ Parent | on HN ]

There are no comments on this comment yet.