barrelfish_kpi Directory Reference

Files
file	dispatcher_shared_target.h
	Architecture specific dispatcher struct shared between kernel and user.
file	paging_target.h
	Arch specific definitions, can be included by others.
file	registers_target.h
	Arch specific definition of the registers, can be included by anyone. Definitions shared by kernel and user.