Seu código em C pode rodar em hardware com capabilities sem um rewrite completo
O ABI híbrido do CHERI permite que você porte código em C para hardware com capabilities de forma incremental. Veja como compilar, o que quebra e como corrigir sem rewrite toda a sua codebase.
Você tem uma codebase em C que é grande demais para ser rewrite em Rust e crítica demais para ser deixada vulnerável a buffer overflows. O hardware com…