Patches b03c1b through 3f00b5
[barrelfish] / usr / drivers / xeon_phi / service.h
2014-08-20 Stefan KaestlePatches b03c1b through 3f00b5
2014-08-20 Reto AchermannAdded: Xeon Phi Manager