Spike RISC-V simulator but with a autogenerated LibRISCV backend - View it on GitHub