# Copyright 2019 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.

driver("optee") {
  sources = [
    "binding.c",
    "optee-client.cpp",
    "optee-controller.cpp",
    "optee-message.cpp",
    "shared-memory.cpp",
    "util.cpp",
  ]
  deps = [
    "$zx/system/banjo/ddk.protocol.platform.device",
    "$zx/system/dev/lib/mmio",
    "$zx/system/fidl/fuchsia-hardware-tee:c",
    "$zx/system/fidl/fuchsia-tee-manager:c",
    "$zx/system/ulib/ddk",
    "$zx/system/ulib/ddktl",
    "$zx/system/ulib/fbl",
    "$zx/system/ulib/fidl",
    "$zx/system/ulib/fidl-utils",
    "$zx/system/ulib/region-alloc",
    "$zx/system/ulib/tee-client-api",
    "$zx/system/ulib/zircon",
    "$zx/system/ulib/zx",
  ]

  # TODO(ZX-2863): This driver violates the allowed shlib deps policy.
  deprecated_inhibit_driver_shlib_allowlist = true
}