update kernel

README.md

@@ -6,7 +6,7 @@
 
 ```shell
 # or use https://github.com/rel4team/mi-dev-repo.git
-repo init -u [email protected]:rel4team/mi-dev-repo.git -b update_kernel
+repo init -u [email protected]:rel4team/mi-dev-repo.git
 repo sync
 ```
 

default.xml

@@ -10,13 +10,13 @@
     <default remote="rel4team" revision="mi_dev" upstream="mi_dev" dest-branch="mi_dev"/>
 
     <!-- Base Repository -->
-    <project name="seL4_c_impl.git" path="kernel" revision="update-kernel" upstream="update-kernel" dest-branch="update-kernel"/>
+    <project name="seL4_c_impl.git" path="kernel" />
     <project name="rust-sel4.git" path="rust-sel4" revision="mi_dev_unstable" upstream="mi_dev_unstable" dest-branch="mi_dev_unstable" />
     <project name="rust-root-task-demo-mi-dev.git" path="root-task-demo" />
-    <project name="build-scripts.git" path="build-scripts"/>
+    <project name="build-scripts.git" path="build-scripts" />
 
     <!-- Kernel Modules -->
-    <project name="mi-dev-integral-rel4" path="rel4_kernel" revision="update-kernel" upstream="update-kernel" dest-branch="update-kernel" />
+    <project name="mi-dev-integral-rel4" path="rel4_kernel" />
 
     <!-- Add For Sel4Test -->
     <!-- Remote: Sel4 Repos -->