 // Retrieve device list
		async function getDeviceList(devInst) {
			var dm = await frida.getDeviceManager();
			// If the device is a remote socket we need to add it
			// manually
			if (devInst.startsWith("socket@")) {
				var sRemoteSocket = devInst.split('@')[1];
				dm.addRemoteDevice(sRemoteSocket);
			}
			var dev = await dm.enumerateDevices();
			return dev;
		}

        // There is a bug in the latest Frida, a delay in the device
		// listing for non-default entries. All we do here is try 
		// t