| # Copyright (c) 2013-2018 TRUSTONIC LIMITED |
| # All Rights Reserved. |
| # |
| # This program is free software; you can redistribute it and/or |
| # modify it under the terms of the GNU General Public License |
| # version 2 as published by the Free Software Foundation. |
| # |
| # This program is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| |
| # |
| # Makefile for the Kinibi core and trusted UI drivers |
| # |
| |
| obj-$(CONFIG_TRUSTONIC_TEE) := MobiCoreDriver/ |
| obj-$(CONFIG_TRUSTONIC_TRUSTED_UI) += TlcTui/ |
| |
| obj-$(CONFIG_SECURE_OS_CONTROL) += sec-os-ctrl/ |
| obj-$(CONFIG_SECURE_OS_BOOSTER_API) += sec-os-booster/ |