Device plugin API; see the DeviceHandler interface for more information