Hesham Almataryheshamalmatary.hashnode.dev·Nov 3, 2024CHERI-seL4: 6 reasons why CHERI support in seL4I 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 safety and intra-address-space software compartmentalisation, which enhances the overall security of ...69 readsCHERI
