git subrepo update commit for Clean ffi 1 (#8)

rel4team · Aug 28, 2024 · cde45ff · cde45ff
1 parent 92e0cd8
commit cde45ff
Show file tree

Hide file tree

Showing 10 changed files with 12 additions and 12 deletions.
diff --git a/driver-collect/.gitrepo b/driver-collect/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/driver-collect.git
 	branch = mi_dev
 	commit = 3667ef6ab3d6c4831680310e4b8f0947258569ae
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/kernel/.gitrepo b/kernel/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/rel4_kernel.git
 	branch = mi_dev
-	commit = 4abdc8b7f8296087de6d65719b3b19c585a3333c
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+	commit = c4c30a67cb2f8bfa913753db544edf212a07a023
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_common/.gitrepo b/sel4_common/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/sel4_common.git
 	branch = mi_dev
 	commit = 8bdb8dc404106a8afd18e23ff37c727b06be1c22
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_cspace/.gitrepo b/sel4_cspace/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/sel4_cspace.git
 	branch = mi_dev
 	commit = b21030fb8e8b54881876bd3dc0d4593bd3989cfc
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_ipc/.gitrepo b/sel4_ipc/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/sel4_ipc.git
 	branch = mi_dev
 	commit = 8ea75be470034c5dfb6f69259e19bb883dd435d1
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_task/.gitrepo b/sel4_task/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/sel4_task.git
 	branch = mi_dev
 	commit = 94897592f8a88a5229aa2386a797525fbb21e1f0
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_vspace/.gitrepo b/sel4_vspace/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/sel4_vspace.git
 	branch = mi_dev
-	commit = 86b93d6efdb901f7d1d7662cb9b5c02c0023785f
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+	commit = 2f6915871016bbe734f14572e2eb360c7d8daeb9
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-frame/.gitrepo b/serial-frame/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/serial-frame.git
 	branch = mi_dev
 	commit = 84501a7640813af351464cbb915ba1f63a9f68fe
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-impl/pl011/.gitrepo b/serial-impl/pl011/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/serial-impl-pl011.git
 	branch = mi_dev
 	commit = 83e073e19e74420a877b7b099e02c7667e6d6244
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-impl/sbi/.gitrepo b/serial-impl/sbi/.gitrepo
@@ -7,6 +7,6 @@
 	remote = git@github.com:rel4team/serial-impl-sbi.git
 	branch = mi_dev
 	commit = 4face963815d4a453f47589ced43cdf9068fde7b
- 	parent = 4c254b2030a94083461c26670be2ef8a8d029b08
+ 	parent = 92e0cd88d060aa667fa1c4f0140268a0f30c749c
 	method = merge
 	cmdver = 0.4.9