On 08:49 Wed 25 Apr, Hesham Almatary wrote: > 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"
Indeed, that fixes it, thanks! --prashanth _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
