Re: [seL4] Announcing seL4 9.0.1: with RISC-V support

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