Un lenguaje de sistemas con seguridad de memoria que compila a código C11 limpio.
- Elimina la necesidad de incorporar un segundo toolchain como LLVM o rustc en builds de kernels basados en GCC.
- Genera código C11 limpio y compatible con los sistemas de compilación nativos existentes.
- Implementa un modelo de propiedad y préstamo de memoria para prevenir fallos críticos a bajo nivel.