Merge "sel4: Move sel4 kernel and libs to 3p"
diff --git a/manifest.xml b/manifest.xml
index cf7d3d6..31b4bbd 100644
--- a/manifest.xml
+++ b/manifest.xml
@@ -36,8 +36,10 @@
   <!-- BEGIN cantrip components -->
   <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" />
+
+  <!-- We have changes in the following two projects -->
+  <project name="3p/sel4/sel4"         path="cantrip/kernel" />
+  <project name="3p/sel4/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" />