Hi, Congratulations, this is excellent news!
It appears that the simulator currently used is riscv-qemu. Is there a version that can run on spike? If not, what would be needed to get it running on spike? --prashanth _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
