barrelfish_kpi Directory Reference

Files
file	arm_core_data.h
	Data sent to a newly booted kernel.
file	dispatcher_shared_target.h
	Architecture specific dispatcher struct shared between kernel and user.