From 6682dbbc5bce24691407851499cb3c28e6f1076e Mon Sep 17 00:00:00 2001
From: kar-rahul-aws <118818625+kar-rahul-aws@users.noreply.github.com>
Date: Tue, 18 Jul 2023 09:28:02 +0530
Subject: [PATCH] Update submodule pointer for Kernel V10.6.0 (#1037)

* Update submodule pointer for Kernel V10.6.0

* Update commit hash

* Fix failed CBMC proofs

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Update manifest.yml

* Update hash commit to match submodule

---------

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
---
 FreeRTOS/Source                                                 | 2 +-
 .../Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json | 2 +-
 .../Test/CBMC/proofs/Task/TaskResumeAll/Configurations.json     | 2 +-
 manifest.yml                                                    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/FreeRTOS/Source b/FreeRTOS/Source
index d3c289fe5b..c3dc20fdb4 160000
--- a/FreeRTOS/Source
+++ b/FreeRTOS/Source
@@ -1 +1 @@
-Subproject commit d3c289fe5b48b6c4a92187c05d29d1a25175f5ab
+Subproject commit c3dc20fdb4f15115fcaf8ad3f71fdf5696a30415
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json b/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json
index bad8abdd0d..92df310951 100644
--- a/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json
+++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json
@@ -48,7 +48,7 @@
   "CBMCFLAGS":
   [
     "--unwind 1",
-    "--unwindset prvInitialiseTaskLists.0:8,vListInsert.0:2,xTaskIncrementTick.5:4"
+    "--unwindset prvInitialiseTaskLists.0:8,vListInsert.0:2,xTaskIncrementTick.6:4"
   ],
   "OBJS":
   [
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/Configurations.json b/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/Configurations.json
index a52dad7394..e2ea2dcc5c 100644
--- a/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/Configurations.json
+++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/Configurations.json
@@ -53,7 +53,7 @@
   "CBMCFLAGS":
   [
     "--unwind 1",
-    "--unwindset prvInitialiseTaskLists.0:8,xTaskResumeAll.4:2,vListInsert.0:5,xTaskIncrementTick.5:4"
+    "--unwindset prvInitialiseTaskLists.0:8,xTaskResumeAll.5:2,vListInsert.0:5,xTaskIncrementTick.6:4"
 
   ],
   "OBJS":
diff --git a/manifest.yml b/manifest.yml
index bdd0fbefb4..5dcde23df1 100644
--- a/manifest.yml
+++ b/manifest.yml
@@ -4,7 +4,7 @@ description: "This is the standard distribution of FreeRTOS."
 
 dependencies:
   - name: "FreeRTOS-Kernel"
-    version: "d3c289f"
+    version: "c3dc20f"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"