Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / lib / barrelfish /
drwxr-xr-x   ..
-rw-r--r-- 13329 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 5149 bulk_transfer.c
-rw-r--r-- 23215 capabilities.c
-rw-r--r-- 6641 coreset.c
-rw-r--r-- 20658 debug.c
-rw-r--r-- 6775 deferred.c
-rw-r--r-- 19409 dispatch.c
-rw-r--r-- 44444 domain.c
-rw-r--r-- 3382 event_mutex.c
-rw-r--r-- 7371 event_queue.c
-rw-r--r-- 775 flounder_glue_binding.c
-rw-r--r-- 13743 flounder_support.c
-rw-r--r-- 5867 flounder_txqueue.c
-rw-r--r-- 4471 heap.c
-rw-r--r-- 740 idc.c
-rw-r--r-- 2609 idc_export.c
drwxr-xr-x - include
-rw-r--r-- 11931 init.c
-rw-r--r-- 8612 inthandler.c
-rw-r--r-- 14512 lmp_chan.c
-rw-r--r-- 15094 lmp_endpoints.c
-rw-r--r-- 13414 monitor_client.c
-rw-r--r-- 4796 morecore.c
-rw-r--r-- 7622 msgbuf.c
-rw-r--r-- 20618 multihop_chan.c
-rw-r--r-- 6043 nameservice_client.c
-rw-r--r-- 7553 ram_alloc.c
-rw-r--r-- 1428 resource_ctrl.c
-rw-r--r-- 5781 slab.c
drwxr-xr-x - slot_alloc
-rw-r--r-- 20650 spawn_client.c
-rw-r--r-- 2421 sys_debug.c
-rw-r--r-- 1040 syscalls.c
drwxr-xr-x - target
-rw-r--r-- 2488 terminal.c
-rw-r--r-- 3076 thread_once.c
-rw-r--r-- 11289 thread_sync.c
-rw-r--r-- 48818 threads.c
-rw-r--r-- 623 trace.c
-rw-r--r-- 11790 ump_chan.c
-rw-r--r-- 2732 ump_endpoint.c
drwxr-xr-x - vspace
-rw-r--r-- 29565 waitset.c