CTSRD-CHERI/cheribsd — pull request #4 by rmn30 (2014-11-17 11:48:36+00:00)
Title: Micro-bencmark changes for Oakland paper

Here are some changes I made when benchmarking for the Oakland paper. Feel free to commit some or all of them. Could break up the pull request if that makes it easier for github.