Create "ProcessManager" and "Domain" capabilities.
[barrelfish] / include / barrelfish /
drwxr-xr-x   ..
-rw-r--r-- 1942 barrelfish.h
-rw-r--r-- 3244 bulk_transfer.h
-rw-r--r-- 6852 caddr.h
-rw-r--r-- 1126 cap_predicates.h
-rw-r--r-- 7040 capabilities.h
-rw-r--r-- 2884 core_state.h
-rw-r--r-- 1460 coreset.h
-rw-r--r-- 1279 cspace.h
-rw-r--r-- 2710 debug.h
-rw-r--r-- 1719 deferred.h
-rw-r--r-- 4364 dispatch.h
-rw-r--r-- 2497 dispatcher.h
-rw-r--r-- 3705 domain.h
-rw-r--r-- 1037 event_mutex.h
-rw-r--r-- 1574 event_queue.h
-rw-r--r-- 1953 except.h
-rw-r--r-- 1376 heap.h
-rw-r--r-- 1893 idc.h
-rw-r--r-- 2562 idc_export.h
-rw-r--r-- 1308 inthandler.h
-rw-r--r-- 14235 invocations.h
-rw-r--r-- 6550 lmp_chan.h
-rw-r--r-- 3399 lmp_endpoints.h
-rw-r--r-- 6807 memobj.h
-rw-r--r-- 1739 monitor_client.h
-rw-r--r-- 591 morecore.h
-rw-r--r-- 2865 msgbuf.h
-rw-r--r-- 5685 multihop_chan.h
-rw-r--r-- 930 nameservice_client.h
-rw-r--r-- 3738 net_constants.h
-rw-r--r-- 2208 pmap.h
-rw-r--r-- 1260 proc_mgmt_client.h
-rw-r--r-- 1208 ram_alloc.h
-rw-r--r-- 633 resource_ctrl.h
-rw-r--r-- 1937 slab.h
-rw-r--r-- 4569 slot_alloc.h
-rw-r--r-- 3067 spawn_client.h
-rw-r--r-- 1787 static_assert.h
-rw-r--r-- 2235 sys_debug.h
-rw-r--r-- 1676 syscalls.h
-rw-r--r-- 937 systime.h
-rw-r--r-- 924 terminal.h
-rw-r--r-- 2100 thread_sync.h
-rw-r--r-- 4243 threads.h
-rw-r--r-- 2097 types.h
-rw-r--r-- 5887 ump_chan.h
-rw-r--r-- 2287 ump_endpoint.h
-rw-r--r-- 6806 ump_impl.h
-rw-r--r-- 4271 vregion.h
-rw-r--r-- 1397 vspace.h
-rw-r--r-- 3566 vspace_common.h
-rw-r--r-- 1778 vspace_layout.h
-rw-r--r-- 2037 vspace_mmu_aware.h
-rw-r--r-- 4289 waitset.h
-rw-r--r-- 1710 waitset_chan.h