#sel4
Read more stories on Hashnode
Articles with this tag
I have long debated that question, “what’s the point of CHERI if you have seL4 (and Rust)?” In a nutshell, CHERI C offers rich, deterministic memory...