src/devices/tee/drivers/optee/optee.bind

// Copyright 2020 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 tee;

using fuchsia.hardware.rpmb;
using fuchsia.platform;

primary node "pdev" {
  fuchsia.BIND_PROTOCOL == fuchsia.platform.BIND_PROTOCOL.DEVICE;
  fuchsia.BIND_PLATFORM_DEV_VID == fuchsia.platform.BIND_PLATFORM_DEV_VID.GENERIC;
  fuchsia.BIND_PLATFORM_DEV_PID == fuchsia.platform.BIND_PLATFORM_DEV_PID.GENERIC;
  fuchsia.BIND_PLATFORM_DEV_DID == fuchsia.platform.BIND_PLATFORM_DEV_DID.OPTEE;
  fuchsia.BIND_PLATFORM_DEV_INSTANCE_ID == 0;
}

optional node "rpmb" {
  fuchsia.hardware.rpmb.Service == fuchsia.hardware.rpmb.Service.ZirconTransport;
}