tree 64fb70bb0e379f18ddf138e97a844a310afe3187
parent 8fbe6c089edc4f9cb02a6d31402055158bc2b6d8
author Siwei Zhuang <siwei.zhuang@data61.csiro.au> 1585201349 +1100
committer Siwei Zhuang <siwei.zhuang@data61.csiro.au> 1585201795 +1100

libsel4bench: Use privileged HPM counter CSRs

This change is a work around for some Hifive boards which would freeze
when accessing user mode CSRs.