blob: 6b0f3e1481ef7107e013d889082d69fcb0c81644 [file] [log] [blame]
# 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/fidl/fuchsia-hardware-tee:c",
"$zx/system/ulib/ddk",
"$zx/system/ulib/ddktl",
"$zx/system/ulib/fbl",
"$zx/system/ulib/fidl",
"$zx/system/ulib/region-alloc",
"$zx/system/ulib/tee-client-api",
"$zx/system/ulib/zircon",
"$zx/system/ulib/zx",
"$zx/system/ulib/zxcpp",
]
}