Update FreeRTOS-Kernel submodule pointer (FreeRTOS#1316)

aggarg · web-flow · commit 66de13ce1b4a · 2024-12-26T10:57:39.000+05:30
Update FreeRTOS-Kernel submodule pointer

Signed-off-by: Gaurav Aggarwal &lt;aggarg@amazon.com&gt;
diff --git a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP
@@ -1 +1 @@
-Subproject commit e7033c5dddab7e7c0bdc422d93510136feb4b8f5
+Subproject commit fbb668ac7786c6f4ea8f2a60bfa2ae63c0b43863
diff --git a/FreeRTOS/Source b/FreeRTOS/Source
@@ -1 +1 @@
-Subproject commit 7e419c2dd5d25bded70fb564f1226ae8056215f9
+Subproject commit f31787d35d5614620fc6fefa6c12df2583612fcf
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json b/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json
@@ -38,7 +38,7 @@
   "CBMCFLAGS":
   [
       "--unwind 1",
-      "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"
+      "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,strlen.0:16,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"
   ],
   "OBJS":
   [
diff --git a/manifest.yml b/manifest.yml
@@ -5,14 +5,14 @@ license: "MIT"
 
 dependencies:
   - name: "FreeRTOS-Kernel"
-    version: "7e419c2"
+    version: "f31787d"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"
       path: "FreeRTOS/Source"
 
   - name: "FreeRTOS-Plus-TCP"
-    version: "V4.3.1"
+    version: "fbb668ac"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/FreeRTOS-Plus-TCP.git"

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@`
`38`	`38`	`"CBMCFLAGS":`
`39`	`39`	`[`
`40`	`40`	`"--unwind 1",`
`41`		`- "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"`
	`41`	`+ "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,strlen.0:16,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"`
`42`	`42`	`],`
`43`	`43`	`"OBJS":`
`44`	`44`	`[`