Barrelfish
barrelfish Directory Reference

Directories

Files

file  bulk_transfer.c
 Unidirectional bulk data transfer via shared memory.
 
file  capabilities.c
 Capability system user code.
 
file  coreset.c
 Simple coreset implementation.
 
file  debug.c
 Debugging functions.
 
file  deferred.c
 Deferred events (ie. timers)
 
file  dispatch.c
 Dispatcher implementation.
 
file  domain.c
 Manage domain spanning cores.
 
file  event_mutex.c
 Event mutex implementation.
 
file  event_queue.c
 Event queue implementatino.
 
file  flounder_glue_binding.c
 Glue code for old deprecated IDC API.
 
file  flounder_support.c
 Support code for Flounder-generated stubs.
 
file  heap.c
 Simple heap allocator.
 
file  idc.c
 common IDC code
 
file  idc_export.c
 IDC export implementation.
 
file  init.c
 Barrelfish library initialization.
 
file  lmp_chan.c
 Bidirectional LMP channel implementation.
 
file  lmp_endpoints.c
 Management of incoming LMP endpoints.
 
file  monitor_client.c
 Client for interacting with the monitor.
 
file  morecore.c
 Morecore implementation for malloc.
 
file  msgbuf.c
 Generic bag-o-bytes message format.
 
file  multihop_chan.c
 Bidirectional Multi-hop channel implementation.
 
file  nameservice_client.c
 Client for interacting with the name service.
 
file  ram_alloc.c
 RAM allocator code (client-side)
 
file  resource_ctrl.c
 Client for interacting with the monitor.
 
file  slab.c
 Simple slab allocator.
 
file  spawn_client.c
 Client for interacting with the spawn daemon on each core.
 
file  sys_debug.c
 Debug system calls shared by all architectures, user-side.
 
file  syscalls.c
 User-side system call implementation, architecture-independent.
 
file  systime.c
 Systime.
 
file  terminal.c
 Terminal emulator.
 
file  thread_sync.c
 Thread synchronisation primitives.
 
file  threads.c
 Threads implementation.
 
file  trace.c
 This file is a hack because essentially all subsystems need to link against these variables and putting them in lib/trace means linking everything against lib/trace.
 
file  ump_chan.c
 Bidirectional UMP channel implementation.
 
file  ump_endpoint.c
 Incoming UMP endpoints.
 
file  waitset.c
 Waitset and low-level event handling mechanism.