Searched refs:microSelection (Results 1 – 1 of 1) sorted by relevance
2967 DeviceSelectionOptions microSelection = new DeviceSelectionOptions(); in startMicrodroid() local2968 microSelection.setSerial(microdroidSerial); in startMicrodroid()2969 microSelection.setBaseDeviceTypeRequested(BaseDeviceType.NATIVE_DEVICE); in startMicrodroid()2971 NativeDevice microdroid = (NativeDevice) deviceManager.allocateDevice(microSelection); in startMicrodroid()