From 9d305555947f5d85eb1eab66d687ce278fd69544 Mon Sep 17 00:00:00 2001
From: ZhiyuanSue <108735103+ZhiyuanSue@users.noreply.github.com>
Date: Tue, 29 Oct 2024 04:13:51 +0000
Subject: [PATCH] git subrepo update commit for Update kernel 10 (#17)

---
 driver-collect/.gitrepo    | 2 +-
 kernel/.gitrepo            | 4 ++--
 sel4_common/.gitrepo       | 4 ++--
 sel4_cspace/.gitrepo       | 4 ++--
 sel4_ipc/.gitrepo          | 4 ++--
 sel4_task/.gitrepo         | 4 ++--
 sel4_vspace/.gitrepo       | 4 ++--
 serial-frame/.gitrepo      | 2 +-
 serial-impl/pl011/.gitrepo | 2 +-
 serial-impl/sbi/.gitrepo   | 2 +-
 10 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/driver-collect/.gitrepo b/driver-collect/.gitrepo
index 88f9e56..c3a97b6 100644
--- 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 = bc4f6a646eb657a810efe89159f5149d719f31f5
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/kernel/.gitrepo b/kernel/.gitrepo
index 18b5c22..8ea861e 100644
--- a/kernel/.gitrepo
+++ b/kernel/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/rel4_kernel.git
 	branch = mi_dev
-	commit = 044e7b108957fb17665f8d0933af2ad14f7c49c8
- 	parent = bc4f6a646eb657a810efe89159f5149d719f31f5
+	commit = 586dd19e3175f7b241ed711d20baa7ec0e57758c
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_common/.gitrepo b/sel4_common/.gitrepo
index 54f1aa9..4db15de 100644
--- a/sel4_common/.gitrepo
+++ b/sel4_common/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/sel4_common.git
 	branch = mi_dev
-	commit = ac5622c839e8327327e7a54b98f3942aa970d315
- 	parent = bc4f6a646eb657a810efe89159f5149d719f31f5
+	commit = 9666a51ee0a62ffdff0ac585f34be8801b8d7a79
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_cspace/.gitrepo b/sel4_cspace/.gitrepo
index 9d63c9f..b3bb6a6 100644
--- a/sel4_cspace/.gitrepo
+++ b/sel4_cspace/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/sel4_cspace.git
 	branch = mi_dev
-	commit = cba1d5e36f73ee26a95d4bec1578c1676dd8ba4c
- 	parent = bc4f6a646eb657a810efe89159f5149d719f31f5
+	commit = b1cd98baa05ff6d7f7041c0f61a4790f0ba56585
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_ipc/.gitrepo b/sel4_ipc/.gitrepo
index 36a1339..633353c 100644
--- a/sel4_ipc/.gitrepo
+++ b/sel4_ipc/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/sel4_ipc.git
 	branch = mi_dev
-	commit = 8ea75be470034c5dfb6f69259e19bb883dd435d1
- 	parent = bc4f6a646eb657a810efe89159f5149d719f31f5
+	commit = 714be64ebe4622d33208478f0f92a991892723fa
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_task/.gitrepo b/sel4_task/.gitrepo
index 7947364..b5e8cec 100644
--- a/sel4_task/.gitrepo
+++ b/sel4_task/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/sel4_task.git
 	branch = mi_dev
-	commit = 4d15443842d0724218f2ef9730e638eed508517b
- 	parent = bc4f6a646eb657a810efe89159f5149d719f31f5
+	commit = e3a8bc4a50e0841f0eb7de89c5cd40f695282a41
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_vspace/.gitrepo b/sel4_vspace/.gitrepo
index de8f06f..0f1c2ce 100644
--- 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 = 13c3205918c2b89ac9e61d14d2efbf4fcdd5af64
- 	parent = bc4f6a646eb657a810efe89159f5149d719f31f5
+	commit = c53bd2db7e35e3b46d8730dd547545d100bab341
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-frame/.gitrepo b/serial-frame/.gitrepo
index d1876c2..cc0f530 100644
--- 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 = bc4f6a646eb657a810efe89159f5149d719f31f5
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-impl/pl011/.gitrepo b/serial-impl/pl011/.gitrepo
index 660f49e..87de1ef 100644
--- 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 = bc4f6a646eb657a810efe89159f5149d719f31f5
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-impl/sbi/.gitrepo b/serial-impl/sbi/.gitrepo
index 0878398..da2e21f 100644
--- 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 = bc4f6a646eb657a810efe89159f5149d719f31f5
+ 	parent = 10585e14aa5f7f1881e98e6ae102d235d01cde37
 	method = merge
 	cmdver = 0.4.9