Marno van der Maas

A related issue that also has to do with the PMP trap handler is that when a PMP region is set to be non-executable. The trap handler just tries to...

The main issue with the proposed solution is that it is not clear whether the instruction at `mepc` is compressed or not. Both default increments of 2 and 4 bytes...

I made the MML code entry execute and read by default to be able to continue after a store/load. In the load trap handler I check whether `mepc` was before...

My changes need some more testing so I am going to up the estimate from 16 to 24 so that I have an extra 8 to work on this.

There is a PR for this now: https://github.com/google/riscv-dv/pull/903 After that RISCV-DV is merged, as well as this PR: https://github.com/lowRISC/ibex/pull/1848, I need to add the changes that are currently drafted on...

I have a fix for this, but will integrate this in a PR to fix: https://github.com/lowRISC/ibex/issues/1789 I have put the temporary fix here: https://github.com/marnovandermaas/ibex/commits/catch-dv-double-faults > spent 3

There's a PR for this now: https://github.com/google/riscv-dv/pull/903

I made a first attempt to adding coverage points for large NAPOT regions: https://github.com/lowRISC/ibex/pull/1818 In the process I removed some impossible to reach PMP coverage: https://github.com/lowRISC/ibex/pull/1817 > spent 3

It took me a while to find out that the Spike version I was using didn't compile because `xrun` gave a vague error. Besides that I updated the PR https://github.com/lowRISC/ibex/pull/1818...

There is a PR for RISCV-DV, which generates these large NAPOT regions now: https://github.com/google/riscv-dv/pull/903