tools/bindc/examples/composite-gizmo.bind

// Copyright 2021 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

composite gizmo_pci;

using fuchsia.hardware.pci;
using fuchsia.hardware.tee;
using fuchsia.platform;

primary node "pci" {
  fuchsia.hardware.pci.Service == fuchsia.hardware.pci.Service.ZirconTransport;
}

node "tee" {
  if fuchsia.hardware.tee.Service == fuchsia.hardware.tee.Service.ZirconTransport {
    fuchsia.BIND_PLATFORM_DEV_VID == fuchsia.platform.BIND_PLATFORM_DEV_VID.GENERIC;
  } else {
    fuchsia.BIND_PLATFORM_DEV_VID == fuchsia.platform.BIND_PLATFORM_DEV_VID.QEMU;
  }
}