monitor: bugfixes in the revocation protocol
[barrelfish] / usr / monitor / capops / retrieve.c
2015-08-11 Reto Achermannmonitor: bugfixes in the revocation protocol
2014-03-25 Simon GerberMake x86_32 compile; some of the monitor invocations...
2013-07-18 Mark NevillKeep cptrs right-shifted throughout capops.
2013-07-18 Mark NevillAdded "retrieve" operation for revoke.