Device Manager Extension API

The Device Manager extension exposes an API that other extensions can get hold of:

import type { DeviceManagerExtension } from '@arm-software/vcsode-device-manager';
          
const deviceManagerExtension = vscode.extensions.getExtension<DeviceManagerExtension>('arm.device-manager');
if (deviceManagerExtension) {
    const deviceManager = await extension.activate();
    const deviceManagerV1 = deviceManager.getApi(1);
    const devices = await deviceManagerV1.getDevices();
}