Skip to content

Commit

Permalink
Update FreeRTOS and AWS Library Submodules (FreeRTOS#1162)
Browse files Browse the repository at this point in the history
* Update the AWS and FreeRTOS Library Submodule Pointers
* Update the manifest.yml file for new submodules
  • Loading branch information
Skptak authored Jan 27, 2024
1 parent c852aae commit 7fc12c2
Show file tree
Hide file tree
Showing 21 changed files with 40 additions and 40 deletions.
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/AWS/jobs
Submodule jobs updated 92 files
+62 −0 .github/.cSpellWords.txt
+7 −2 .github/memory_statistics_config.json
+45 −19 .github/workflows/ci.yml
+23 −0 .github/workflows/formatting.yml
+2 −2 .github/workflows/release.yml
+0 −4 .gitmodules
+6 −0 CHANGELOG.md
+0 −61 CONTRIBUTING.md
+74 −63 README.md
+31 −0 cspell.config.yaml
+76 −64 docs/doxygen/config.doxyfile
+19 −4 docs/doxygen/include/size_table.md
+58 −2 docs/doxygen/pages.dox
+9 −0 jobsFilePaths.cmake
+0 −109 lexicon.txt
+1 −1 manifest.yml
+282 −25 source/include/jobs.h
+235 −32 source/jobs.c
+82 −0 source/otaJobParser/include/job_parser.h
+59 −0 source/otaJobParser/include/ota_job_processor.h
+490 −0 source/otaJobParser/job_parser.c
+105 −0 source/otaJobParser/ota_job_handler.c
+95 −58 test/CMakeLists.txt
+2 −21 test/cbmc/.gitignore
+19 −8 test/cbmc/lib/summarize.py
+4 −0 test/cbmc/output/latest/html/README.md
+493 −0 test/cbmc/proofs.c
+0 −74 test/cbmc/proofs/Jobs_Describe/Jobs_Describe_harness.c
+0 −24 test/cbmc/proofs/Jobs_Describe/Makefile
+0 −1 test/cbmc/proofs/Jobs_Describe/cbmc-proof.txt
+0 −7 test/cbmc/proofs/Jobs_Describe/cbmc-viewer.json
+0 −66 test/cbmc/proofs/Jobs_GetPending/Jobs_GetPending_harness.c
+0 −20 test/cbmc/proofs/Jobs_GetPending/Makefile
+0 −1 test/cbmc/proofs/Jobs_GetPending/cbmc-proof.txt
+0 −7 test/cbmc/proofs/Jobs_GetPending/cbmc-viewer.json
+0 −68 test/cbmc/proofs/Jobs_GetTopic/Jobs_GetTopic_harness.c
+0 −20 test/cbmc/proofs/Jobs_GetTopic/Makefile
+0 −1 test/cbmc/proofs/Jobs_GetTopic/cbmc-proof.txt
+0 −7 test/cbmc/proofs/Jobs_GetTopic/cbmc-viewer.json
+0 −85 test/cbmc/proofs/Jobs_MatchTopic/Jobs_MatchTopic_harness.c
+0 −34 test/cbmc/proofs/Jobs_MatchTopic/Makefile
+0 −1 test/cbmc/proofs/Jobs_MatchTopic/cbmc-proof.txt
+0 −7 test/cbmc/proofs/Jobs_MatchTopic/cbmc-viewer.json
+0 −66 test/cbmc/proofs/Jobs_StartNext/Jobs_StartNext_harness.c
+0 −20 test/cbmc/proofs/Jobs_StartNext/Makefile
+0 −1 test/cbmc/proofs/Jobs_StartNext/cbmc-proof.txt
+0 −7 test/cbmc/proofs/Jobs_StartNext/cbmc-viewer.json
+0 −74 test/cbmc/proofs/Jobs_Update/Jobs_Update_harness.c
+0 −23 test/cbmc/proofs/Jobs_Update/Makefile
+0 −1 test/cbmc/proofs/Jobs_Update/cbmc-proof.txt
+0 −7 test/cbmc/proofs/Jobs_Update/cbmc-viewer.json
+0 −28 test/cbmc/proofs/Makefile
+0 −44 test/cbmc/proofs/Makefile-jobs.common
+0 −49 test/cbmc/proofs/Makefile-project-defines
+0 −10 test/cbmc/proofs/Makefile-project-targets
+0 −11 test/cbmc/proofs/Makefile-project-testing
+0 −1 test/cbmc/proofs/Makefile-template-defines
+0 −999 test/cbmc/proofs/Makefile.common
+0 −19 test/cbmc/proofs/README.md
+0 −0 test/cbmc/proofs/lib/__init__.py
+0 −74 test/cbmc/proofs/lib/print_tool_versions.py
+0 −414 test/cbmc/proofs/run-cbmc-proofs.py
+0 −14 test/cbmc/proofs/strnAppend/Makefile
+0 −1 test/cbmc/proofs/strnAppend/cbmc-proof.txt
+0 −7 test/cbmc/proofs/strnAppend/cbmc-viewer.json
+0 −66 test/cbmc/proofs/strnAppend/strnAppend_harness.c
+0 −14 test/cbmc/proofs/strnEq/Makefile
+0 −1 test/cbmc/proofs/strnEq/cbmc-proof.txt
+0 −7 test/cbmc/proofs/strnEq/cbmc-viewer.json
+0 −55 test/cbmc/proofs/strnEq/strnEq_harness.c
+27 −0 test/cbmc/run_proofs.sh
+21 −0 test/cbmc/stubs/JSON_SearchConst.c
+15 −0 test/cbmc/stubs/JSON_Validate.c
+0 −6 test/cbmc/stubs/README.md
+0 −60 test/cbmc/stubs/strnAppend.c
+0 −39 test/cbmc/stubs/strnEq.c
+19 −0 test/cbmc/stubs/strnlen.c
+81 −19 test/unit-test/CMakeLists.txt
+0 −1 test/unit-test/Unity
+1 −1 test/unit-test/catch_assert.h
+0 −41 test/unit-test/cmock_build.cmake
+669 −0 test/unit-test/job_parser_utest.c
+371 −5 test/unit-test/jobs_utest.c
+235 −0 test/unit-test/ota_job_handler_utest.c
+0 −38 test/unit-test/unity_build.cmake
+52 −0 tools/cmock/coverage.cmake
+124 −0 tools/cmock/create_test.cmake
+26 −0 tools/cmock/project.yml
+5 −0 tools/coverity/misra.config
+0 −70 tools/unity/coverage.cmake
+0 −73 tools/unity/create_test.cmake
+0 −12 tools/unity/project.yml
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/AWS/ota
Submodule ota updated 164 files
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/FreeRTOS-Cellular-Modules/bg96
Submodule bg96 updated from 676184 to f61fc4
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/FreeRTOS-Cellular-Modules/sara-r4
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/coreJSON
Submodule coreJSON updated 40 files
+6 −0 .clusterfuzzlite/Dockerfile
+22 −0 .clusterfuzzlite/README.md
+8 −0 .clusterfuzzlite/build.sh
+1 −0 .clusterfuzzlite/project.yaml
+7 −0 .clusterfuzzlite/validate_fuzzer.c
+50 −0 .github/.cSpellWords.txt
+30 −0 .github/workflows/cflite_pr.yml
+51 −16 .github/workflows/ci.yml
+23 −0 .github/workflows/formatting.yml
+2 −2 .github/workflows/release.yml
+1 −1 MISRA.md
+86 −33 README.md
+31 −0 cspell.config.yaml
+0 −126 lexicon.txt
+202 −0 loop_invariants.patch
+71 −42 source/core_json.c
+200 −133 test/cbmc/include/core_json_contracts.h
+1 −6 test/cbmc/proofs/JSON_Iterate/Makefile
+4 −14 test/cbmc/proofs/JSON_SearchConst/Makefile
+2 −7 test/cbmc/proofs/JSON_Validate/Makefile
+7 −10 test/cbmc/proofs/Makefile-json.common
+35 −17 test/cbmc/proofs/Makefile.common
+1 −7 test/cbmc/proofs/arraySearch/Makefile
+19 −0 test/cbmc/proofs/multiSearch/Makefile
+17 −0 test/cbmc/proofs/multiSearch/README.md
+1 −0 test/cbmc/proofs/multiSearch/cbmc-proof.txt
+7 −0 test/cbmc/proofs/multiSearch/cbmc-viewer.json
+42 −0 test/cbmc/proofs/multiSearch/multiSearch_harness.c
+3 −9 test/cbmc/proofs/objectSearch/Makefile
+19 −1 test/cbmc/proofs/run-cbmc-proofs.py
+1 −7 test/cbmc/proofs/skipAnyScalar/Makefile
+1 −8 test/cbmc/proofs/skipCollection/Makefile
+1 −6 test/cbmc/proofs/skipDigits/Makefile
+1 −6 test/cbmc/proofs/skipEscape/Makefile
+3 −8 test/cbmc/proofs/skipObjectScalars/Makefile
+3 −6 test/cbmc/proofs/skipScalars/Makefile
+1 −6 test/cbmc/proofs/skipSpace/Makefile
+1 −6 test/cbmc/proofs/skipString/Makefile
+1 −7 test/cbmc/proofs/skipUTF8/Makefile
+279 −0 test/cbmc/sources/core_json_contracts.c
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/corePKCS11
2 changes: 1 addition & 1 deletion FreeRTOS/Demo/ThirdParty/Community-Supported-Demos
2 changes: 1 addition & 1 deletion FreeRTOS/Demo/ThirdParty/Partner-Supported-Demos
Submodule Partner-Supported-Demos updated 34 files
+70 −0 AURIX_TC375_ADS/Blinky/Blinky.c
+103 −0 AURIX_TC375_ADS/Blinky/Configurations/FreeRTOSConfig.h
+88 −0 AURIX_TC375_ADS/Blinky/Cpu0_Main.c
+84 −0 AURIX_TC375_ADS/GPT12_Printf/Blinky.c
+103 −0 AURIX_TC375_ADS/GPT12_Printf/Configurations/FreeRTOSConfig.h
+110 −0 AURIX_TC375_ADS/GPT12_Printf/Cpu0_Main.c
+80 −0 AURIX_TC375_ADS/GPT12_Printf/Middleware/IFX/serialio/serialio.c
+97 −0 AURIX_TC375_ADS/GPT12_Printf/Middleware/IFX/serialio/serialio.h
+114 −0 AURIX_TC375_ADS/GPT12_Printf/Timer_Gpt12.c
+26 −0 AURIX_TC375_ADS/LICENSE
+104 −0 AURIX_TC375_ADS/README.md
+ AURIX_TC375_ADS/images/ads-debugger-config.png
+ AURIX_TC375_ADS/images/ads-heap-selection.png
+ AURIX_TC375_ADS/images/ads-ifx-code-examples-repo.png
+ AURIX_TC375_ADS/images/ads-import-icer.png
+ AURIX_TC375_ADS/images/ads-import-local.png
+ AURIX_TC375_ADS/images/ads-import-project-local.png
+ AURIX_TC375_ADS/images/ads-new-project-0.png
+ AURIX_TC375_ADS/images/ads-new-project-1.png
+ AURIX_TC375_ADS/images/ads-new-project-2.png
+ AURIX_TC375_ADS/images/ads-new-project-3.png
+ AURIX_TC375_ADS/images/ads-new-project-4.png
+ AURIX_TC375_ADS/images/ads-refresh-project.png
+ AURIX_TC375_ADS/images/blinky-example.png
+ AURIX_TC375_ADS/images/build_activeproj.gif
+ AURIX_TC375_ADS/images/debug_activeproj.gif
+ AURIX_TC375_ADS/images/debug_resume.gif
+ AURIX_TC375_ADS/images/directory-structure.png
+ AURIX_TC375_ADS/images/file-import.png
+1 −12 RISC-V_cva6/README.md
+1,471 −0 RISC-V_cva6/encoding.h
+ RISC-V_cva6/plic/cva6_plic.docx
+394 −0 RISC-V_cva6/plic/plic.h
+25 −9 RISC-V_cva6/uart/uart.c
40 changes: 20 additions & 20 deletions manifest.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,77 +5,77 @@ license: "MIT"

dependencies:
- name: "FreeRTOS-Kernel"
version: "72c7d86"
version: "8e664fc98"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"
path: "FreeRTOS/Source"

- name: "FreeRTOS-Plus-TCP"
version: "40c16fe"
version: "V4.0.0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Plus-TCP.git"
path: "FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP"

- name: "coreJSON"
version: "360cfcd"
version: "b92c8cd"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreJSON.git"
path: "FreeRTOS-Plus/Source/coreJSON"

- name: "sigv4"
version: "1e692f7"
version: "9d9f95a"
repository:
type: "git"
url: "https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk.git"
path: "FreeRTOS-Plus/Source/AWS/sigv4"

- name: "coreHTTP"
version: "48ccceb"
version: "dc94df0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreHTTP.git"
path: "FreeRTOS-Plus/Source/Application-Protocols/coreHTTP"

- name: "coreMQTT"
version: "143a15e"
version: "238350a"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreMQTT.git"
path: "FreeRTOS-Plus/Source/Application-Protocols/coreMQTT"

- name: "coreMQTT Agent"
version: "3b74317"
version: "d3668a6"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreMQTT-Agent.git"
path: "FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent"

- name: "corePKCS11"
version: "8b5ec3b3e"
version: "cb865c1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/corePKCS11.git"
path: "FreeRTOS-Plus/Source/corePKCS11"

- name: "device-defender"
version: "747ae05"
version: "9dbf7ba"
repository:
type: "git"
url: "https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk.git"
path: "FreeRTOS-Plus/Source/AWS/device-defender"

- name: "device-shadow"
version: "0c17830"
version: "2f16e7c"
repository:
type: "git"
url: "https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk.git"
path: "FreeRTOS-Plus/Source/AWS/device-shadow"

- name: "jobs"
version: "3e33c6a"
version: "f1c3bd6"
repository:
type: "git"
url: "https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk.git"
Expand Down Expand Up @@ -110,49 +110,49 @@ dependencies:
path: "FreeRTOS-Plus/ThirdParty/libslirp"

- name: "backoffAlgorithm"
version: "f4b3fcf"
version: "0b4f992"
repository:
type: "git"
url: "https://github.com/FreeRTOS/backoffAlgorithm"
path: "FreeRTOS-Plus/Source/Utilities/backoff_algorithm"

- name: "ota"
version: "0c46d6a"
version: "9a8395b"
repository:
type: "git"
url: "https://github.com/aws/ota-for-aws-iot-embedded-sdk"
path: "FreeRTOS-Plus/Source/AWS/ota"

- name: "coreSNTP"
version: "3cb8ad9"
version: "c5face5"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreSNTP"
path: "FreeRTOS-Plus/Source/Application-Protocols/coreSNTP"

- name: "FreeRTOS-Community-Supported-Demos"
version: "db9704f"
version: "3d475bd"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Community-Supported-Demos"
path: "FreeRTOS/Demo/ThirdParty/Community-Supported-Demos"

- name: "FreeRTOS-Partner-Supported-Demos"
version: "44b242"
version: "e4183c7"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Partner-Supported-Demos"
path: "FreeRTOS/Demo/ThirdParty/Partner-Supported-Demos"

- name: "FreeRTOS-Cellular-Interface"
version: "4675955"
version: "f1097fb"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface.git"
path: "FreeRTOS-Plus/Source/FreeRTOS-Cellular-Interface"

- name: "Lab-FreeRTOS-Cellular-Interface-Reference-Quectel-BG96"
version: "6761849"
version: "f61fc4c"
repository:
type: "git"
url: "https://github.com/FreeRTOS/Lab-FreeRTOS-Cellular-Interface-Reference-Quectel-BG96.git"
Expand All @@ -166,14 +166,14 @@ dependencies:
path: "FreeRTOS-Plus/Source/FreeRTOS-Cellular-Modules/hl7802"

- name: "Lab-FreeRTOS-Cellular-Interface-Reference-ublox-SARA-R4"
version: "f536afe"
version: "dcdae99"
repository:
type: "git"
url: "https://github.com/FreeRTOS/Lab-FreeRTOS-Cellular-Interface-Reference-ublox-SARA-R4.git"
path: "FreeRTOS-Plus/Source/FreeRTOS-Cellular-Modules/sara-r4"

- name: "fleet-provisioning"
version: "8ce2b28"
version: "daf174d"
repository:
type: "git"
url: "https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk.git"
Expand Down

0 comments on commit 7fc12c2

Please sign in to comment.