barrelfish Directory Reference

Files
file	barrelfish.h
	Top-level header for convenient inclusion of standard libbarrelfish headers.
file	bulk_transfer.h
	Unidirectional bulk data transfer via shared memory.
file	caddr.h
	Inline functions to allow manipulation of raw capability addresses.
file	cap_predicates.h
	Userlevel capability predicates (to be generated by Hamlet).
file	capabilities.h
	Base capability/cnode handling functions.
file	core_state.h
file	coreset.h
file	cspace.h
	Fixed capability locations and badges for user-defined part of cspace.
file	debug.h
	Debugging functions.
file	deferred.h
	Deferred events (ie. timers)
file	dispatch.h
	The API to lib/barrelfish/dispatch.
file	dispatcher.h
	Generic dispatcher structure private to the user.
file	domain.h
file	event_mutex.h
	Event mutex.
file	event_queue.h
	Event queue.
file	except.h
	Exception handling.
file	heap.h
	Simple heap allocator.
file	idc.h
	IDC declarations common to all transports.
file	idc_export.h
	IDC export declarations.
file	invocations.h
	Architecture independent capability invocations.
file	lmp_chan.h
	Bidirectional LMP channel.
file	lmp_endpoints.h
	LMP endpoints declarations.
file	memobj.h
	Memobj definitions.
file	monitor_client.h
	Client for interacting with the monitor.
file	morecore.h
file	msgbuf.h
	Generic bag-o-bytes message format.
file	multihop_chan.h
	Bidirectional Multi-hop channel.
file	net_constants.h
	File to hold the constants needed by network stack across driver, userspace and control plane values.
file	pmap.h
	Generic pmap definitions.
file	ram_alloc.h
	RAM allocator code (client-side) definitions.
file	resource_ctrl.h
	Resource control.
file	slab.h
	Simple slab allocator.
file	slot_alloc.h
	Slot allocator.
file	static_assert.h
	Top-level header for convenient inclusion of standard libbarrelfish headers.
file	sys_debug.h
	Essential capability definitions.
file	syscalls.h
	User-side system call wrappers.
file	systime.h
	System time.
file	terminal.h
	Terminal emulator.
file	thread_sync.h
	Thread synchronization definitions.
file	threads.h
	Threads.
file	types.h
	Definitions of standard Barrelfish userland types.
file	ump_chan.h
	Bidirectional UMP channel.
file	ump_endpoint.h
	UMP endpoint declarations.
file	ump_impl.h
	User-space messaging (UMP, formerly URPC) data transport implementation.
file	vregion.h
	Vregion definitions.
file	vspace.h
	Vspace definitions.
file	vspace_common.h
	Common vspace library includes definitions.
file	vspace_layout.h
	Vspace_Layout definitions.
file	vspace_mmu_aware.h
file	waitset.h
	Waitset and low-level event handling mechanism.
file	waitset_chan.h
	Waitset interface to channel implementations.