Show HN: CeeSafe – Rust-style ownership for kernels, compiled to C11

(ceesafe.github.io)

3 points | by vkuttyp 5 hours ago ago