Show HN: CeeSafe – Rust-style ownership for kernels, compiled to C11 ceesafe.github.io 3 points by vkuttyp 3 days ago · 2 comments Reader PiP Save No comments yet.