T187: Add Mapping cap types
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Nov 2015 15:30:52 +0000 (16:30 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Nov 2015 15:30:52 +0000 (16:30 +0100)
commit046bddbad0b96a3c9cf079f1356e9e0fd427994e
treeedd254427eae8ffa9fd195982b3bc1785916a612
parentd81c11c5693c5a7e404f1bbe1e56fc8a438f6d2a
T187: Add Mapping cap types

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
capabilities/caps.hl
errors/errno.fugu
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/distcaps.h
kernel/capabilities.c
kernel/include/capabilities.h