<project name="kernel">
  <depends buildtime="true" runtime="true" names="libport" />
  <!-- Add your project dependencies here -->
  <!--
  <depends buildtime="true" runtime="true" names="foo" />
  -->
</project>

<project name="urbi">
  <depends buildtime="true" runtime="true" names="libport" />
  <!-- Add your project dependencies here -->
  <!--
  <depends buildtime="true" runtime="true" names="foo" />
  -->
</project>

Rename project from kernel to urbi.
Rename project from kernel to urbi.
