aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur24-61/+135
- 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 Mundkur7-23/+26
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur6-63/+37
. 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
2019-06-21Checked locked flag on PMP reg writes, and add the special case for the ↵Prashanth Mundkur3-62/+64
pmpaddr0 check.
2019-06-20Hook in csr reads/writes to PMP regs. Locked entries are not yet handled.Prashanth Mundkur3-85/+129
2019-06-20Handle pmpcfg packing and unpacking for csr accesses.Prashanth Mundkur1-22/+76
2019-06-20Add PMP address and entry matching, and priority logic.Prashanth Mundkur4-37/+223
This is specialized for now for the smallest PMP grain of 4 bytes.
2019-06-19Factor out mstatus.mprv checks for effective privilege for reuse in PMP.Prashanth Mundkur3-6/+7
2019-06-19Define PMP permission checking.Prashanth Mundkur1-4/+43
2019-06-17Add basic PMP definitions.Prashanth Mundkur2-1/+26
2019-06-11Remove unused directory from Coq imports, removing warningBrian Campbell1-1/+1
2019-06-11Fill in a few missing Coq built-insBrian Campbell1-3/+3
2019-06-06Remove mmio in rvfi mode.Prashanth Mundkur1-0/+3
2019-06-06Doc updatesPrashanth Mundkur8-39/+382
. add a dependency diagram to the reading guide . simplify the OS boot instructions using the new Linux image . put funding ack in top-level readme
2019-06-06Add a makefile target to pre-compile the model for axiomatic concurrency toolAlasdair1-0/+3
2019-06-05Add RV64 Linux image that does not need a patched model.Prashanth Mundkur1-0/+0
2019-05-31Fix build on MacPorts/MacOS.Prashanth Mundkur1-2/+6
2019-05-31Merge pull request #11 from scottj97/makefile-upgradePrashanth Mundkur1-12/+5
Makefile upgrade
2019-05-31Merge pull request #10 from scottj97/correct-flag-descriptionsPrashanth Mundkur0-0/+0
Correction to flag descriptions
2019-05-30Include riscv_sim.c in C_SRCSScott Johnson1-5/+5
Since it was being explicitly included everywhere C_SRCS was being used.
2019-05-30Remove obsolete targets from MakefileScott Johnson1-7/+0
Per email from Prashanth
2019-05-30Correction to flag descriptionsScott Johnson1-2/+2
2019-05-29Fix execution log.Prashanth Mundkur1-2/+2
2019-05-29Merge pull request #8 from ccasin/doc-updatesPrashanth Mundkur1-3/+14
Two small README updates.
2019-05-29Merge pull request #9 from scottj97/fix-sigfile-printfPrashanth Mundkur1-1/+1
Display correct filename in message when using -T
2019-05-29Display correct filename in message when using -TScott Johnson1-1/+1
2019-05-28Merge branch 'master-cleanup'Prashanth Mundkur3-10/+30
2019-05-28Add missed commit.Prashanth Mundkur1-1/+0
2019-05-28Improve cli option processing; also remove '-s' from the C emulator to avoid ↵Prashanth Mundkur1-5/+16
Spike dependency message.
2019-05-25Two small README updates.Chris Casinghino1-3/+14
2019-05-24Make xret hooks differentiate between just reading xret target values and ↵Prashanth Mundkur2-4/+14
getting the value when transferring control to the xret target.
2019-05-24Update opam version for release.0.2Robert Norton1-1/+1
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on ↵Robert Norton4-9/+7
opam being in path to get SAIL_DIR (which seems to be unreliable).
2019-05-24Add Makefile rule to get line count.Robert Norton1-0/+3
2019-05-23Merge branch 'master' into master-cleanupPrashanth Mundkur3-0/+51
2019-05-23Be more careful about matching only instructions that are defined for xlen ↵Robert Norton2-11/+12
being built.
2019-05-20Add descr file for opam.0.1Robert Norton1-0/+1
2019-05-20Add opam file and make targets to build and install C emulator (32 and 64 bit).Robert Norton2-0/+48
2019-05-17Work around name clash in IsabelleThomas Bauereiss1-0/+2
Until properly fixed in Lem
2019-05-14Merge branch 'master' into master-cleanupPrashanth Mundkur2-3/+3
2019-05-14Update docs.Prashanth Mundkur2-21/+28
2019-05-14Improve the interface to access CSRs in extensions.Prashanth Mundkur5-7/+28
2019-05-13also convert RMEM sentinel instructions to return Retired enumJon French1-2/+2
2019-05-13Makefile: add -tofrominterp_mwords optionJon French1-1/+1
2019-05-10Update docs.Prashanth Mundkur2-1/+25
2019-05-10Rename regbits to regidx, to clarify the type is an index and not the ↵Prashanth Mundkur8-121/+121
contents of a register.
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean ↵Prashanth Mundkur12-95/+105
to improve clarity.
2019-05-10Merge pull request #6 from jrtc27/asm-load-store-immPrashanth Mundkur1-3/+3
Print canonical assembly for immediate loads/stores
2019-05-10Print canonical assembly for immediate loads/storesJames Clarke1-3/+3
2019-05-08Allow overide of utvec in identical way to mtvec/stvec in previous commit.Robert Norton2-2/+10
generated by cgit v1.1 at 2024-10-20 10:47:46 +0000