25 Apr
2018
25 Apr
'18
3:23 a.m.
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
-- Hesham