pub const SPIKE_ISA: &str = "rv64imc_zba_zbb_zbs_zicond";
ISA string (RV64I superset of PVM2’s compute core).