projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8778446) | patch
capops: add some more DEBUG_CAPOPS in delete code
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 2 May 2017 15:32:05 +0000 (17:32 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 2 May 2017 15:32:17 +0000 (17:32 +0200)
commit3bb4e2372bb583d41c93b05d89d8ec57c95cf952
tree8c83b04e282b5886865e9a053cdd5592b72ace24tree | snapshot
parent8778446b6f20ca901a666266b056abd2390452a3commit | diff
capops: add some more DEBUG_CAPOPS in delete code

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
usr/monitor/capops/delete.c diff | blob | history
Barrelfish OS git repo