This is the zero-runtime profile. I think SPARK can be used on RISC-V at that point. So, an open ISA combined with a language immune to common vulnerabilities. Quite powerful esp if you want trusted firmware or crash-resistant embedded.