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

---
 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 5f92636..e002a9e 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 = 3b18b5f3594fece20362d5146fbe53db61be5dff
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/kernel/.gitrepo b/kernel/.gitrepo
index be3bfb3..2a38d6f 100644
--- a/kernel/.gitrepo
+++ b/kernel/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@github.com:rel4team/rel4_kernel.git
 	branch = mi_dev
-	commit = 586dd19e3175f7b241ed711d20baa7ec0e57758c
- 	parent = 3b18b5f3594fece20362d5146fbe53db61be5dff
+	commit = 79ad922b4afd2c37b256b632522ec924de1ed4bc
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_common/.gitrepo b/sel4_common/.gitrepo
index f3c3d4b..74cd17e 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 = f4cb68480563557040882cebd8f40bf3426ea22d
- 	parent = 3b18b5f3594fece20362d5146fbe53db61be5dff
+	commit = 9060ef3dc02fbf4f10196572e1b4b633b9e34316
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_cspace/.gitrepo b/sel4_cspace/.gitrepo
index 29c6867..60ebf33 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 = b1cd98baa05ff6d7f7041c0f61a4790f0ba56585
- 	parent = 3b18b5f3594fece20362d5146fbe53db61be5dff
+	commit = d279613d4ae2e4cd875469395d66c882adefd2e0
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_ipc/.gitrepo b/sel4_ipc/.gitrepo
index f9efdb1..a37f11e 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 = 714be64ebe4622d33208478f0f92a991892723fa
- 	parent = 3b18b5f3594fece20362d5146fbe53db61be5dff
+	commit = 93be2b9b7b98ac032e922589615286d9006328c0
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_task/.gitrepo b/sel4_task/.gitrepo
index c902a48..17bc402 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 = e3a8bc4a50e0841f0eb7de89c5cd40f695282a41
- 	parent = 3b18b5f3594fece20362d5146fbe53db61be5dff
+	commit = f8e03f79957fb7d4ea914f94daa6b029b972af53
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/sel4_vspace/.gitrepo b/sel4_vspace/.gitrepo
index aadd777..87f0adc 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 = c53bd2db7e35e3b46d8730dd547545d100bab341
- 	parent = 3b18b5f3594fece20362d5146fbe53db61be5dff
+	commit = aa09a5551f4590c2aac6ab311f89a1727f21b18c
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-frame/.gitrepo b/serial-frame/.gitrepo
index 7bce9ed..5ef4cfd 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 = 3b18b5f3594fece20362d5146fbe53db61be5dff
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-impl/pl011/.gitrepo b/serial-impl/pl011/.gitrepo
index 44ed44a..b2e2f13 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 = 3b18b5f3594fece20362d5146fbe53db61be5dff
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9
diff --git a/serial-impl/sbi/.gitrepo b/serial-impl/sbi/.gitrepo
index fd9a8e7..5dcb8f4 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 = 3b18b5f3594fece20362d5146fbe53db61be5dff
+ 	parent = afc10e2c753498659990f620fdd868fa6f42d887
 	method = merge
 	cmdver = 0.4.9