bump env
tests: bump env to pick up new names for CSRs
Display env variables used when invoking OpenOCD This makes it a little easier to just cut and paste from the log when reproducing a failure. (The port number still needs changing though.)
Rename sbadaddr to satp
Call postMortem() when a test fails.
Inform GCC that "sfence.vma" clobbers memory
Improve RVC test Make the page-crossing instruction non-idempotent to detect erroneously executing the first 16 bits of the instruction with garbage MSBs.
Check UXL in sstatus
Set ELF entry point correctly
New PMP encoding
Separate page faults from physical memory access exceptions
Like tests, pass the benchmarks if XLEN disagrees
bump env
Avoid x3 (gp), which is now TESTNUM
Test mstatus.TW, mstatus.TVM, and mstatus.TSR features
Check mbadaddr in ma_addr test
Put env back where it was. Fixes #37.
Don't eat compile errors.
avoid non-standard predefined macros
Update to new breakpoint & counter spec