aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_fetch.sail
AgeCommit message (Collapse)AuthorFilesLines
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-4/+4
- 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
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur1-2/+2
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+52