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

3 points | by vkuttyp 6 hours ago