vfio: don't display error if no pci devices are assigned to container
[vpp.git] / build-root / platforms.mk
2015-12-08 Ed WarnickeInitial commit of vpp code. 23/23/3