Allocating devices to device pools

Overview