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 <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
