git.barrelfish.org Git - barrelfish/tree - doc/013-capability-mgmt/

drwxr-xr-x		..
-rw-r--r--	57570	CapMgmt.tex	blob \| history \| raw
-rw-r--r--	767	Hakefile	blob \| history \| raw
-rw-r--r--	3078	acks-problem.pdf	blob \| history \| raw
-rw-r--r--	29696	acks-problem.vsd	blob \| history \| raw
-rw-r--r--	473	cap_types.dot	blob \| history \| raw
-rw-r--r--	2817	causal-problem.pdf	blob \| history \| raw
-rw-r--r--	25600	causal-problem.vsd	blob \| history \| raw
-rw-r--r--	25509	type_system.tex	blob \| history \| raw