Hi Prashanth,
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:
"$spike images/sel4test-driver-image-riscv-spike"
Best, Hesham
On Mon, Apr 23, 2018 at 11:44 PM, Prashanth Mundkur pmundkur.l4@gmail.com wrote:
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