You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Apr 13, 2019. It is now read-only.
For example, if one of PMP entries matches, it must exit the loop and return result.
However, it only exits the loop when result is true, making all PMP entries ignored when result is false.
That breaks priority rule of the PMP, allowing any protection fails when lower-priority entry defines the address accessible.
The text was updated successfully, but these errors were encountered:
I found that the new PMP implementation skips any high-priority PMP rules.
See code below,
https://github.com/riscv/riscv-qemu/blob/riscv-qemu-3.1/target/riscv/pmp.c#L196
For example, if one of PMP entries matches, it must exit the loop and return
result
.However, it only exits the loop when
result
is true, making all PMP entries ignored whenresult
is false.That breaks priority rule of the PMP, allowing any protection fails when lower-priority entry defines the address accessible.
The text was updated successfully, but these errors were encountered: