source: @ 941

Name	Size	Rev	Age	Author	Last Change
branches		941	9 years	cfuguet	reconf: use of the NIC and CHBUFDMA is now optional
trunk	​	939	9 years	alain	Introduce the distributed kernel heap vsegs.