T264: Add L1 and L2 CNode cap types
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 Jul 2016 14:47:34 +0000 (16:47 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 Jul 2016 14:47:36 +0000 (16:47 +0200)
commit1fc0b5ef4e281a099f10e1fe1ad42cc0e4773024
treed1188625a0f18fc65746f0f382f396c6ce33e2d8
parentbd6dd10b0ef53e24391c1575a863912e17274808
T264: Add L1 and L2 CNode cap types

Cannot create new types yet, as implementations for caps_retype() and
check_caps_create_arguments() are missing.

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