CTSRD-CHERI/gxemul — pull request #2 by rmn30 (2012-03-19 13:45:58+00:00)
Title: gxemul patch

I found two questionable behaviours in gxemul which cause the cp0 compare test to fail, so I made them both optional via a new command line argument.