cantrip: Bring in the CantripOS components Bug: 306427497 Change-Id: I02ffb6dcebd8d5179f6b56349ecb3ed4e105cda2
diff --git a/manifest.xml b/manifest.xml index c7cf7f5..cbabf96 100644 --- a/manifest.xml +++ b/manifest.xml
@@ -34,7 +34,23 @@ </project> <!-- BEGIN cantrip components --> - <!-- Cleanup cantrip repo and remote project names --> + <project name="sw/cantrip/userland" path="cantrip/projects/cantrip" /> + <project name="sw/cantrip/minisel" path="cantrip/projects/minisel" /> + <project name="sw/cantrip/sel4" path="cantrip/kernel" /> + <project name="sw/cantrip/sel4_libs" path="cantrip/projects/seL4_libs" /> + + <project name="3p/sel4/camkes-tool" path="cantrip/projects/camkes-tool" /> + <project name="3p/sel4/camkes" path="cantrip/projects/camkes" /> + <project name="3p/sel4/capdl" path="cantrip/projects/capdl" /> + <project name="3p/nicta/cogent" path="cantrip/tools/cogent" /> + <project name="3p/sel4proj/global-components" path="cantrip/projects/global-components" /> + <project name="3p/sel4/musllibc" path="cantrip/projects/musllibc" /> + <project name="3p/sel4proj/projects_libs" path="cantrip/projects/projects_libs" /> + <project name="3p/sel4proj/sel4_projects_libs" path="cantrip/projects/seL4_projects_libs" /> + <project name="3p/sel4/sel4test" path="cantrip/projects/sel4test" /> + <project name="3p/sel4/sel4_tools" path="cantrip/tools/seL4" /> + <project name="3p/sel4proj/sel4runtime" path="cantrip/projects/sel4runtime" /> + <project name="3p/sel4/util_libs" path="cantrip/projects/util_libs" /> <!-- END cantrip components --> <!-- BEGIN ML toolchain-->