projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e502509) | patch
kernel: cap_delete: properly insert simple caps that need return slot into delete...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 19 Oct 2016 15:50:03 +0000 (17:50 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 19 Oct 2016 15:50:12 +0000 (17:50 +0200)
commitb06807c5f081f3f727973bf90c8d53df45576225
tree93d7cc1b45bd216ef8302088683cf0c6f83995e6tree | snapshot
parente5025091b8c070605435f4b65162d1d8b46e37dbcommit | diff
kernel: cap_delete: properly insert simple caps that need return slot into delete list

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