author | Simon Gerber <simon.gerber@inf.ethz.ch> | |
Mon, 16 Dec 2013 16:06:39 +0000 (17:06 +0100) | ||
committer | Gerd Zellweger <mail@gerdzellweger.com> | |
Tue, 14 Oct 2014 06:47:37 +0000 (08:47 +0200) | ||
commit | 33a875a20d59e5d82212f0b21c9c80fb463c4748 | |
tree | 336f64d52794aa2300136b2a55702eae3f7f4937 | tree | snapshot |
parent | f4e96de8b350ab764ebb3bf085d506535ba236dd | commit | diff |
capabilities/caps.hl | diff | blob | history | |
include/barrelfish_kpi/capabilities.h | diff | blob | history | |
kernel/capabilities.c | diff | blob | history | |
kernel/include/kcb.h | [new file with mode: 0644] | blob |