monitor: handover of correct state for cap revocations
[barrelfish] / platforms /
2015-07-03 Timothy RoscoeSimplification of symbolic_targets.mk, addition of...