hal/hal/tools/device-manager
