Alex Dadgar 204ca8230c Device manager ... Introduce a device manager that manages the lifecycle of device plugins on the client. It fingerprints, collects stats, and forwards Reserve requests to the correct plugin. The manager, also handles device plugins failing and validates their output.		2018-11-07 10:43:15 -08:00
..
device.pb.go	Device manager	2018-11-07 10:43:15 -08:00
device.proto	Device manager	2018-11-07 10:43:15 -08:00