History log of /barrelfish-master/doc/013-capability-mgmt/type_system.tex
Revision Date Author Comments
# 412731b6 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: add invocations on VNode and some minor changes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 3533c70c 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: Update wording for frame/devframe ondelete()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 27255401 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: add mapping capability to types

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 7b871f47 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: add KCB to cap types

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 9bf21750 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: Add one sentence description for all currently available Kernel cap invocations

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 782117ab 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: update capability type section

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# cccca87e 12-Dec-2013 Mothy <troscoe@inf.ethz.ch>

Tidying up techical notes


# 881883fe 05-May-2012 Raphael Fuchs <raphaelfuchs@student.ethz.ch>

Typo in Technical Note 013.


# 06f3372c 27-Jan-2012 Mark Nevill <nevillm@ethz.ch>

Updated parts of the cap TN, minor style changes.


# 9299dcef 08-Jul-2011 Stefan Kästle <stefan.kaestle@inf.ethz.ch>

Initial version of public stable barrelfish repository.