On 18:23 Tue 24 Apr, Hesham Almatary wrote: > 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"
Thanks Hesham, this is very good to know. It turns out that with the default build of the spike master version as of today, there's one test that fails: Test FRAMEEXPORTS0001 failed All tests pass in qemu. --prashanth _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
