The same image from the sel4test build that runs on qemu can just run
unmodified on Spike.
After you build sel4test (and from the same directory) just run:
On Mon, Apr 23, 2018 at 11:44 PM, Prashanth Mundkur
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?