aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_vmem_sv39.sail
AgeCommit message (Expand)AuthorFilesLines
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-1/+1
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-1/+1
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur1-32/+29
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur1-50/+57
2019-07-16Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...Prashanth Mundkur1-8/+12
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur1-2/+2
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-1/+1
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur1-3/+3
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur1-3/+2
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-3/+3
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur1-0/+5
2019-03-08Initial attempt at genericizing TLB entries, and re-introduce for Sv39.Prashanth Mundkur1-24/+92
2019-02-22Fix address translation bug in ordering of width-extension and shift in pte. ...Prashanth Mundkur1-1/+1
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-1/+0
2019-02-13Remove the use of the TLB until it is more generic across the various archite...Prashanth Mundkur1-56/+24
2019-02-13Pull out the Sv39 and its TLB into separate files.Prashanth Mundkur1-0/+139