barrelfish_kpi Directory Reference

Files
file	coredata_target.h
	Data sent to a newly booted x86 kernel.