doc: tn13: update capability type section
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 08:51:22 +0000 (10:51 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 2 Jun 2017 11:57:32 +0000 (13:57 +0200)
commit782117ab58b38643f0061e6d4cfad2a023512aa2
treea196dc335d113bfccd2a3d84c3ad3d1ffc376a01
parentc5801e767c777b4f3cd6b7655c24ce4d0e231368
doc: tn13: update capability type section

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
doc/013-capability-mgmt/type_system.tex
usr/monitor/include/monitor_invocations.h