Add projects_libs repository

Change-Id: Ic75795947af212fba602daf308cfee3cda9e0d36
This commit is contained in:
Kent McLeod 2018-08-13 13:35:32 +10:00
parent e4bbecb301
commit f25dd4db2d
1 changed files with 1 additions and 0 deletions

View File

@ -33,4 +33,5 @@
<project remote="SEL4PROJ" name="global-components.git" path="projects/global-components"/>
<project name="camkes.git" path="projects/camkes"/>
<project remote="SEL4PROJ" name="seL4_projects_libs.git" path="projects/seL4_projects_libs"/>
<project remote="SEL4PROJ" name="projects_libs.git" path="projects/projects_libs"/>
</manifest>