aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_vmem_rv32.sail
AgeCommit message (Expand)AuthorFilesLines
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-5/+5
2019-06-19Factor out mstatus.mprv checks for effective privilege for reuse in PMP.Prashanth Mundkur1-3/+1
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-1/+1
2019-03-11Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma.Prashanth Mundkur1-4/+9
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur1-0/+9
2019-03-05Fix a typo.Prashanth Mundkur1-1/+1
2019-03-05Correct capitalisation of Sv39/48 in pattern matchesBrian Campbell1-1/+1
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-0/+52