barrelfish Directory Reference

Files
file	dispatcher_target.h
	Architecture specific dispatcher structure private to the user.
file	pmap_target.h
	Arch specific declerations that can be included by others.