commit 0f7c2ff6f9ec999ea3882cacbe83e37d76049588
author Arve Hjønnevåg <arve@android.com> Mon Dec 03 18:11:21 2018 -0800
committer Arve Hjønnevåg <arve@android.com> Mon Dec 03 18:11:41 2018 -0800
tree b8fa56f31cf8159e87cbfba1e824093858fb32e0
parent c2f3d9f0aa8d97c7f1c9bd5ffd857859d1e2b0f6

Add external/trusty

Bug: 119111590
Change-Id: I7e0f9bb37741f722b04c70e4df5c516b1c6067d7

default.xml

diff --git a/default.xml b/default.xml
index e7762eb..ee342d6 100644
--- a/default.xml
+++ b/default.xml
@@ -13,6 +13,7 @@
     <copyfile src="makefile" dest="makefile" />
   </project>
   <project path="external/headers" name="trusty/external/headers" groups="trusty" />
+  <project path="external/trusty" name="trusty/external/trusty" groups="trusty" />
   <project path="trusty/user/base" name="trusty/lib" groups="trusty" />
   <project path="trusty/kernel" name="trusty/lk/trusty" groups="trusty" />
   <!-- END trusty core projects -->