Merge pull request #643 from ucb-bar/update-pmp-encoding

bump riscv-tools
This commit is contained in:
Yunsup Lee authored and GitHub committed 2017-03-31 20:52:49 -07:00
commit 716533f77f
1 file changed
+1 -1