doc: tn13: Add section on implementation of cap database
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 10:11:55 +0000 (12:11 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 11:57:47 +0000 (13:57 +0200)
commitc9818154e6bfa9ec76964a3469f847593b4458bb
tree7f33938ef186002a7d2d3702bbc607b7cd5a1a13
parent3533c70ca66d10a2216fa875b8c4271a4a083238
doc: tn13: Add section on implementation of cap database

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
doc/013-capability-mgmt/CapMgmt.tex
doc/style/barrelfish.bib