DEVICE-MANAGER .