On Tue, Apr 24, 2018 at 10:21 PM, Prashanth Mundkur
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:
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.