On Tue, Apr 24, 2018 at 10:21 PM, Prashanth Mundkur <[email protected]> wrote: > 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 > Right, this tests all RISC-V's frame sizes, including Giga pages. Since the default memory given by Spike to sel4test is only 2 GiB, that might not be enough for this test. If you tell Spike to have 4 GiB of memory (similar to QEMU), it should pass.
e.g. "spike -m4096 images/sel4test-driver-image-riscv-spike" > All tests pass in qemu. > > --prashanth -- Hesham _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
