Age | Commit message (Collapse) | Author | Files | Lines |
|
- unify AccessType and ReadType since they were essentially redundant,
making it easier to implement PMP checks for ReadWrite/atomic accesses.
- add command line options to enable PMP in the platform
- also fix the matching for the case when all entries are off
|
|
|
|
. convert duopod to directly use Sail lib/regfp functions
. put lib/regfp wrappers in prelude, and avoid calling them directly in riscv_mem
. remove mmio assumption in page-table walks, making read/write calls symmetric
. prune obsolete functions from prelude_mem
|
|
|
|
|
|
- handle sfence.vma in machine-mode
- flush both tlb39 and tlb48 in 64-bit mode
|
|
This showed up in RV32, but not in RV64, presumably because the highest address bits are not typically exercised typical physical memory maps.
|
|
Being first-order prevents straight-forward abstraction over the PTE operations, but perhaps there is another way to generalize and unify.
|