Jonathan Balkind
Jonathan Balkind
I tried a more recent version of the core in the last month or so. It had a new issue which I shared as #3115 but even with a fix...
Oh that's great! It would be good to be in touch with you by email additionally so I can discuss the details. Feel free to give me a nudge
This patch is ultimately pretty small but the history is quite long - could you squash it down to a single commit?
We don't use a make-based flow. Is there a reason you haven't been using sims which is described in the readme?
Hi there, The test files are under piton/verif/diag/. Note that the term "test cases" in the original material referred to the combination of test files (several thousand, I don't recall...
Ah great glad to hear I'm not the only one! And that this can be confirmed in both circumstances. What do you think about the fact that the same code...
Only checking fetch valid is not sufficient. I tried that before making the fix that disallows override. It might also be possible to have this issue wrt LSU requests too...
It's the first instruction after the kernel->user boundary. Iirc the pa field's upper bits end up with the upper bits of the kernel va from the last translation (or something...
Preventing the overwrite of the page fault is coming from the fact that otherwise the PMP will fault on an incorrect PA. Ultimately, gating this is stopping the PMP from...
What is the aspect from the PR which remains unresolved by #3137 ? @oliverbm67 you mentioned "The PMP could still report an exception if the address checked is in translation...