barrelfish Directory Reference

Files
file	idc_barrelfish.c
	Datapath Communication between LWIP and network driver.
file	idc_barrelfish.h
	Header file for the interfaceing part to the network driver.
file	idc_net_control.c
	Communication between LWIP and net_ports deamon.
file	mem_barrelfish.c
	Buffer memory for LWIP using caps.
file	mem_barrelfish.h
	Buffer memory for LWIP using caps.