Merge "cantrip: Bring in the CantripOS components"

manifest.xml

diff --git a/manifest.xml b/manifest.xml
index db9c287..4af0320 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-->