doc: tn13: add KCB to cap types
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 09:27:53 +0000 (11:27 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 11:57:47 +0000 (13:57 +0200)
commit7b871f47b1bf9f5c2ac48834fb94d6045a9cc600
treeb278bfd8002e3ae45d686c524db23305141b016a
parent9bf21750afd16b87b4578bd289c9afbffcb10c99
doc: tn13: add KCB to cap types

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