Skip to content

Commit 6682dbb

Browse files
Update submodule pointer for Kernel V10.6.0 (FreeRTOS#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>
1 parent 3be041e commit 6682dbb

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

FreeRTOS/Source

Submodule Source updated 196 files

FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@
4848
"CBMCFLAGS":
4949
[
5050
"--unwind 1",
51-
"--unwindset prvInitialiseTaskLists.0:8,vListInsert.0:2,xTaskIncrementTick.5:4"
51+
"--unwindset prvInitialiseTaskLists.0:8,vListInsert.0:2,xTaskIncrementTick.6:4"
5252
],
5353
"OBJS":
5454
[

FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/Configurations.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@
5353
"CBMCFLAGS":
5454
[
5555
"--unwind 1",
56-
"--unwindset prvInitialiseTaskLists.0:8,xTaskResumeAll.4:2,vListInsert.0:5,xTaskIncrementTick.5:4"
56+
"--unwindset prvInitialiseTaskLists.0:8,xTaskResumeAll.5:2,vListInsert.0:5,xTaskIncrementTick.6:4"
5757

5858
],
5959
"OBJS":

manifest.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ description: "This is the standard distribution of FreeRTOS."
44

55
dependencies:
66
- name: "FreeRTOS-Kernel"
7-
version: "d3c289f"
7+
version: "c3dc20f"
88
repository:
99
type: "git"
1010
url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"

0 commit comments

Comments
 (0)