1# Copyright 2018 The Fuchsia Authors. All rights reserved.
2# Use of this source code is governed by a BSD-style license that can be
3# found in the LICENSE file.
4
5LOCAL_DIR := $(GET_LOCAL_DIR)
6
7MODULE := $(LOCAL_DIR)
8
9MODULE_TYPE := driver
10
11MODULE_SRCS := \
12    $(LOCAL_DIR)/binding.c \
13    $(LOCAL_DIR)/optee-client.cpp \
14    $(LOCAL_DIR)/optee-controller.cpp \
15    $(LOCAL_DIR)/optee-message.cpp \
16    $(LOCAL_DIR)/shared-memory.cpp \
17    $(LOCAL_DIR)/util.cpp \
18
19MODULE_FIDL_LIBS := system/fidl/fuchsia-hardware-tee
20
21MODULE_STATIC_LIBS := \
22    system/ulib/ddk \
23    system/ulib/ddktl \
24    system/ulib/fbl \
25    system/ulib/fidl \
26    system/ulib/region-alloc \
27    system/ulib/tee-client-api \
28    system/ulib/zx \
29    system/ulib/zxcpp \
30
31MODULE_LIBS := \
32    system/ulib/zircon \
33    system/ulib/c \
34    system/ulib/driver \
35
36MODULE_BANJO_LIBS := \
37    system/banjo/ddk-protocol-platform-device \
38
39include make/module.mk
40