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 email@example.com wrote:
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?