barrelfish Directory Reference

Files
file	bulk_transfer_arch.h
	Unidirectional bulk data transfer via shared memory.
file	core_state_arch.h
file	iocap_arch.h
	High-level capability helpers.
file	ipi_notify.h
	Bidirectional IPI signaling channel.
file	perfmon.h
	IA32 performance monitoring.