barrelfish_kpi Directory Reference

Files
file	arm_core_data.h
	Data sent to a newly booted ARM kernel.
file	dispatcher_shared_target.h
	Architecture specific dispatcher struct shared between kernel and user.
file	paging_arm_v5.h
	Paging definitions for arm_v5.
file	paging_arm_v7.h
	Paging definitions for arm_v7.