barrelfish Directory Reference

Files
file	bulk_transfer_arch.h
	Unidirectional bulk data transfer via shared memory.
file	core_state_arch.h
file	cpu_arch.h
	Architecture specific CPU bits.
file	curdispatcher_arch.h
	Dispatcher architecture-specific code.
file	dispatcher_arch.h
	Architecture specific dispatcher structure private to the user.
file	invocations_arch.h
	Low-level capability invocations.
file	lmp_chan_arch.h
file	pmap_arch.h
	pmap management wrappers
file	syscall_arch.h
	User-side system call implementation.