Skip to content

Commit

Permalink
Update informatoin for LTS 202406.00 release (#30)
Browse files Browse the repository at this point in the history 
* Update information for LTS 202406.00 release
  • Loading branch information
@chinglee-iot
chinglee-iot authored Jun 27, 2024
1 parent 047f8fd commit 5e4d56e
Show file tree
Hide file tree
Showing 22 changed files with 158 additions and 86 deletions.
27 changes: 25 additions & 2 deletions .github/workflows/ci.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,11 @@ jobs:
git-secrets:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v4.1.1
with:
submodules: recursive
- name: Checkout awslabs/git-secrets
uses: actions/checkout@v2
uses: actions/checkout@v4.1.1
with:
repository: awslabs/git-secrets
ref: master
Expand All @@ -22,3 +22,26 @@ jobs:
run: |
git-secrets --register-aws
git-secrets --scan
link-verifier:
runs-on: ubuntu-latest
steps:
- name: Clone This Repo
uses: actions/checkout@v4.1.1
- name: Link Verification
uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@main

verify-manifest:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4.1.1
with:
submodules: true
fetch-depth: 0

- name: Run manifest verifier
uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@main
with:
path: ./
fail-on-incorrect-version: true

19 changes: 15 additions & 4 deletions .gitmodules
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,18 @@
path = aws/device-defender-for-aws-iot-embedded-sdk
branch = main
url = https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk.git
[submodule "aws/ota-for-aws-iot-embedded-sdk"]
path = aws/ota-for-aws-iot-embedded-sdk
branch = main
url = https://github.com/aws/ota-for-aws-iot-embedded-sdk.git
[submodule "aws/fleet-provisioning-for-aws-iot-embedded-sdk"]
path = aws/fleet-provisioning-for-aws-iot-embedded-sdk
url = https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk.git
[submodule "FreeRTOS/coreSNTP"]
path = FreeRTOS/coreSNTP
url = https://github.com/FreeRTOS/coreSNTP
[submodule "aws/sigv4-for-aws-iot-embedded-sdk"]
path = aws/sigv4-for-aws-iot-embedded-sdk
url = https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk.git
[submodule "FreeRTOS/FreeRTOS-Cellular-Interface"]
path = FreeRTOS/FreeRTOS-Cellular-Interface
url = https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface.git
[submodule "aws/aws-iot-core-mqtt-file-streams-embedded-c"]
path = aws/aws-iot-core-mqtt-file-streams-embedded-c
url = https://github.com/aws/aws-iot-core-mqtt-file-streams-embedded-c
51 changes: 17 additions & 34 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
@@ -1,37 +1,20 @@
# ChangeLog for FreeRTOS 202012-LTS
# ChangeLog for FreeRTOS 202406-LTS

## 202012.05-LTS (September 2022)
Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Kernel V10.4.3 LTS Patch 3](https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V10.4.3-LTS-Patch-3)

## 202012.04-LTS (February 2022)
Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Plus-TCP V2.3.2 LTS Patch 2](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V2.3.2-LTS-Patch-2)

## 202012.03-LTS (November 2021)
Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Kernel V10.4.3 LTS Patch 2](https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V10.4.3-LTS-Patch-2)

## 202012.02-LTS (September 2021)
Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Kernel V10.4.3 LTS Patch 1](https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V10.4.3-LTS-Patch-1)
* [FreeRTOS-Plus-TCP v2.3.2 LTS Patch 1](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V2.3.2-LTS-Patch-1)

## 202012.01-LTS (March 2021)

Add the following libraries to the Long Term Support (LTS) release:
* [AWS IoT Device Defender v1.1.0](https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/tree/v1.1.0)
* [AWS IoT Jobs v1.1.0](https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk/tree/v1.1.0)
* [AWS IoT Over-the-air Update v3.0.0](https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/v3.0.0)

## 202012.00-LTS (December 2020)
## 202406.00-LTS (June 2024)

Long Term Support (LTS) release of the following libraries:
* [FreeRTOS-Kernel V10.4.3](https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V10.4.3)
* [FreeRTOS-Plus-TCP v2.3.2](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V2.3.2)
* [coreMQTT v1.1.0](https://github.com/FreeRTOS/coreMQTT/tree/v1.1.0)
* [coreHTTP v2.0.0](https://github.com/FreeRTOS/coreHTTP/tree/v2.0.0)
* [corePKCS11 v3.0.0](https://github.com/FreeRTOS/corePKCS11/tree/v3.0.0)
* [coreJSON v3.0.0](https://github.com/FreeRTOS/coreJSON/tree/v3.0.0)
* [backoffAlgorithm v1.0.0](https://github.com/FreeRTOS/backoffAlgorithm/tree/v1.0.0)
* [AWS IoT Device Shadow v1.0.2](https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/tree/v1.0.2)
* [FreeRTOS-Kernel V11.1.0](https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V11.1.0)
* [FreeRTOS-Plus-TCP V4.2.0](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.0)
* [coreMQTT v2.3.0](https://github.com/FreeRTOS/coreMQTT/tree/v2.3.0)
* [coreHTTP v3.1.1](https://github.com/FreeRTOS/coreHTTP/tree/v3.1.1)
* [corePKCS11 v3.6.1](https://github.com/FreeRTOS/corePKCS11/tree/v3.6.1)
* [coreJSON v3.3.0](https://github.com/FreeRTOS/coreJSON/tree/v3.3.0)
* [coreSNTP v1.3.1](https://github.com/FreeRTOS/coreSNTP/tree/v1.3.1)
* [Cellular Interface v1.4.0](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/tree/v1.4.0)
* [SigV4 v1.3.0](https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk/tree/v1.3.0)
* [backoffAlgorithm v1.4.1](https://github.com/FreeRTOS/backoffAlgorithm/tree/v1.4.1)
* [AWS IoT Device Shadow v1.4.1](https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/tree/v1.4.1)
* [AWS IoT Device Defender v1.4.0](https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/tree/v1.4.0)
* [AWS IoT Jobs v1.5.1](https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk/tree/v1.5.1)
* [AWS IoT Fleet Provisioning v1.2.1](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/tree/v1.2.1)
* [AWS IoT MQTT File Streams v1.1.0](https://github.com/aws/aws-iot-core-mqtt-file-streams-embedded-c/tree/v1.1.0)
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@ If you discover a potential security issue in this project we ask that you notif

## Licensing

See the [LICENSE](LICENSE) file for our project's licensing. We will ask you to confirm the licensing of your contribution.
See the [LICENSE](LICENSE.md) file for our project's licensing. We will ask you to confirm the licensing of your contribution.
1 change: 1 addition & 0 deletions FreeRTOS/FreeRTOS-Cellular-Interface
Submodule FreeRTOS-Cellular-Interface added at b7494d
2 changes: 1 addition & 1 deletion FreeRTOS/FreeRTOS-Kernel
Submodule FreeRTOS-Kernel updated 850 files
2 changes: 1 addition & 1 deletion FreeRTOS/FreeRTOS-Plus-TCP
Submodule FreeRTOS-Plus-TCP updated 810 files
2 changes: 1 addition & 1 deletion FreeRTOS/backoffAlgorithm
Submodule backoffAlgorithm updated 29 files
+47 −0 .github/.cSpellWords.txt
+37 −0 .github/CODEOWNERS
+1 −0 .github/CONTRIBUTING.md
+9 −0 .github/memory_statistics_config.json
+22 −0 .github/pull_request_template.md
+97 −93 .github/workflows/ci.yml
+11 −0 .github/workflows/doxygen.yml
+23 −0 .github/workflows/formatting.yml
+31 −6 .github/workflows/release.yml
+40 −2 CHANGELOG.md
+21 −0 MISRA.md
+75 −34 README.md
+31 −0 cspell.config.yaml
+84 −0 docs/doxygen/code_examples/backoff_algorithm_posix.c
+854 −162 docs/doxygen/config.doxyfile
+20 −0 docs/doxygen/include/size_table.md
+17 −18 docs/doxygen/pages.dox
+0 −57 lexicon.txt
+10 −1 manifest.yml
+31 −0 sbom.spdx
+7 −5 source/backoff_algorithm.c
+16 −2 source/include/backoff_algorithm.h
+70 −42 test/CMakeLists.txt
+1 −1 test/unit-test/Unity
+3 −1 test/unit-test/backoff_algorithm_utest.c
+4 −2 test/unit-test/catch_assert.h
+79 −0 tools/coverity/README.md
+23 −0 tools/coverity/misra.config
+0 −160 tools/uncrustify.cfg
2 changes: 1 addition & 1 deletion FreeRTOS/coreHTTP
Submodule coreHTTP updated 106 files
2 changes: 1 addition & 1 deletion FreeRTOS/coreJSON
Submodule coreJSON updated 137 files
2 changes: 1 addition & 1 deletion FreeRTOS/coreMQTT
Submodule coreMQTT updated 111 files
2 changes: 1 addition & 1 deletion FreeRTOS/corePKCS11
Submodule corePKCS11 updated 190 files
1 change: 1 addition & 0 deletions FreeRTOS/coreSNTP
Submodule coreSNTP added at b492c2
50 changes: 33 additions & 17 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,25 +5,42 @@ AWS also offers FreeRTOS Extended Maintenance Plan (EMP) that provides you with

## FreeRTOS/FreeRTOS Long Term Support

Libraries in this GitHub branch (also listed below) are part of the [FreeRTOS 202012.05 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012-LTS) patch release. Learn more at https://freertos.org/lts-libraries.html.

| Library | Version | LTS Until | LTS Repo URL |
|------------------------- |---------------------|------------|--------------------------------------------------------------------------- |
| FreeRTOS Kernel | 10.4.3-LTS-Patch-3 | 03/31/2023 | https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V10.4.3-LTS-Patch-3 |
| FreeRTOS-Plus-TCP | 2.3.2-LTS-Patch-2 | 03/31/2023 | https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V2.3.2-LTS-Patch-2 |
| coreMQTT | 1.1.0 | 03/31/2023 | https://github.com/FreeRTOS/coreMQTT/tree/v1.1.0 |
| coreHTTP | 2.0.0 | 03/31/2023 | https://github.com/FreeRTOS/coreHTTP/tree/v2.0.0 |
| corePKCS11 | 3.0.0 | 03/31/2023 | https://github.com/FreeRTOS/corePKCS11/tree/v3.0.0 |
| coreJSON | 3.0.0 | 03/31/2023 | https://github.com/FreeRTOS/coreJSON/tree/v3.0.0 |
| backoffAlgorithm | 1.0.0 | 03/31/2023 | https://github.com/FreeRTOS/backoffAlgorithm/tree/v1.0.0 |
| AWS IoT Device Shadow | 1.0.2 | 03/31/2023 | https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/tree/v1.0.2 |
| AWS IoT Device Defender | 1.1.0 | 03/31/2023 | https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/tree/v1.1.0 |
| AWS IoT Jobs | 1.1.0 | 03/31/2023 | https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk/tree/v1.1.0 |
| AWS IoT Over-the-air Update | 3.0.0 | 03/31/2023 | https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/v3.0.0 |
Libraries in this GitHub branch (also listed below) are part of the FreeRTOS 202406-LTS release. Learn more at https://freertos.org/lts-libraries.html.

| Library | Version | LTS Until | LTS Repo URL |
|------------------------- |---------------------|------------|------------------------------------------------------------------------------- |
| FreeRTOS Kernel | 11.1.0 | 06/30/2026 | https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/V11.1.0 |
| FreeRTOS-Plus-TCP | 4.2.0 | 06/30/2026 | https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.0 |
| coreMQTT | 2.3.0 | 06/30/2026 | https://github.com/FreeRTOS/coreMQTT/tree/v2.3.0 |
| coreHTTP | 3.1.1 | 06/30/2026 | https://github.com/FreeRTOS/coreHTTP/tree/v3.1.1 |
| corePKCS11 | 3.6.1 | 06/30/2026 | https://github.com/FreeRTOS/corePKCS11/tree/v3.6.1 |
| coreJSON | 3.3.0 | 06/30/2026 | https://github.com/FreeRTOS/coreJSON/tree/v3.3.0 |
| coreSNTP | 1.3.1 | 06/30/2026 | https://github.com/FreeRTOS/coreSNTP/tree/v1.3.1 |
| Cellular Interface | 1.4.0 | 06/30/2026 | https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/tree/v1.4.0 |
| backoffAlgorithm | 1.4.1 | 06/30/2026 | https://github.com/FreeRTOS/backoffAlgorithm/tree/v1.4.1 |
| SigV4 | 1.3.0 | 06/30/2026 | https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk/tree/v1.3.0 |
| AWS IoT Device Shadow | 1.4.1 | 06/30/2026 | https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/tree/v1.4.1 |
| AWS IoT Device Defender | 1.4.0 | 06/30/2026 | https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/tree/v1.4.0 |
| AWS IoT Jobs | 1.5.1 | 06/30/2026 | https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk/tree/v1.5.1 |
| AWS IoT Fleet Provisioning | 1.2.1 | 06/30/2026 | https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/tree/v1.2.1 |
| AWS IoT MQTT File Streams | 1.1.0 | 06/30/2026 | https://github.com/aws/aws-iot-core-mqtt-file-streams-embedded-c/tree/v1.1.0 |

## Upgrading to FreeRTOS 202406-LTS from a previous version of FreeRTOS LTS

FreeRTOS 202406 LTS libraries are backward compatible with 202210.xx LTS, except
AWS IoT OTA and FreeRTOS-Plus-TCP libraries. AWS IoT OTA library is not included in the LTS 202406 release.
Instead, AWS IoT MQTT File Streams are included in this release, and we suggest user
reference to [Modular Over the Air Updates](https://freertos.org/freertos-core/over-the-air-updates/index.html),
which makes use of the AWS IoT MQTT File Streams library for OTA application design.
For FreeRTOS-Plus-TCP, refer to [these instructions](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/GettingStarted.md)
on how to update your projects to use the new version.


## FreeRTOS LTS Versioning and Patches

FreeRTOS LTS releases use a date-based versioning scheme (YYYYMM) followed by a patch sequential number (.XX). For example, FreeRTOS 202012.02 LTS means the second patch to the December-2020 FreeRTOS LTS release. You can review the [CHANGELOG](./CHANGELOG.md) and subscribe to [GitHub notifications](https://docs.github.com/en/free-pro-team@latest/github/managing-subscriptions-and-notifications-on-github/about-notifications) to receive information on patches or other updates to this repository.
FreeRTOS LTS releases use a date-based versioning scheme (YYYYMM) followed by a patch sequential number (.XX).
For example, FreeRTOS 202406.01 LTS means the first patch to the June-2024 FreeRTOS LTS release.
You can review the [CHANGELOG](./CHANGELOG.md) and subscribe to [GitHub notifications](https://docs.github.com/en/free-pro-team@latest/github/managing-subscriptions-and-notifications-on-github/about-notifications) to receive information on patches or other updates to this repository.

## Security

Expand All @@ -32,4 +49,3 @@ See [CONTRIBUTING](CONTRIBUTING.md#security-issue-notifications) for more inform
## License

This library is licensed under the MIT License. See the [LICENSE](LICENSE.md) file.

1 change: 1 addition & 0 deletions aws/aws-iot-core-mqtt-file-streams-embedded-c
Submodule aws-iot-core-mqtt-file-streams-embedded-c added at 05ff5d
2 changes: 1 addition & 1 deletion aws/device-defender-for-aws-iot-embedded-sdk
Submodule device-defender-for-aws-iot-embedded-sdk updated 47 files
+49 −0 .github/.cSpellWords.txt
+62 −16 .github/workflows/ci.yml
+11 −0 .github/workflows/doxygen.yml
+23 −0 .github/workflows/formatting.yml
+0 −22 .github/workflows/memory_statistics.yml
+29 −4 .github/workflows/release.yml
+0 −8 .gitmodules
+24 −0 CHANGELOG.md
+11 −19 MISRA.md
+86 −33 README.md
+31 −0 cspell.config.yaml
+377 −247 docs/doxygen/config.doxyfile
+0 −0 docs/doxygen/include/size_table.md
+1 −1 docs/doxygen/pages.dox
+0 −97 lexicon.txt
+1 −1 manifest.yml
+31 −0 sbom.spdx
+8 −5 source/defender.c
+17 −3 source/include/defender.h
+3 −1 source/include/defender_config_defaults.h
+53 −42 test/CMakeLists.txt
+4 −0 test/cbmc/.gitignore
+0 −1 test/cbmc/aws-templates-for-cbmc-proofs
+0 −1 test/cbmc/include/README.md
+6 −0 test/cbmc/include/README.md
+0 −1 test/cbmc/litani
+3 −1 test/cbmc/proofs/Defender_GetTopic/Defender_GetTopic_harness.c
+1 −1 test/cbmc/proofs/Defender_GetTopic/Makefile
+1 −1 test/cbmc/proofs/Defender_GetTopic/README.md
+3 −1 test/cbmc/proofs/Defender_MatchTopic/Defender_MatchTopic_harness.c
+1 −1 test/cbmc/proofs/Defender_MatchTopic/Makefile
+1 −1 test/cbmc/proofs/Defender_MatchTopic/README.md
+3 −3 test/cbmc/proofs/Makefile-project-defines
+1 −1 test/cbmc/proofs/Makefile-project-targets
+1 −1 test/cbmc/proofs/Makefile-project-testing
+0 −1 test/cbmc/proofs/Makefile.common
+999 −0 test/cbmc/proofs/Makefile.common
+0 −1 test/cbmc/proofs/README.md
+27 −0 test/cbmc/proofs/README.md
+0 −0 test/cbmc/proofs/lib/__init__.py
+74 −0 test/cbmc/proofs/lib/print_tool_versions.py
+143 −0 test/cbmc/proofs/lib/summarize.py
+187 −31 test/cbmc/proofs/run-cbmc-proofs.py
+0 −1 test/cbmc/sources/README.md
+6 −0 test/cbmc/sources/README.md
+0 −1 test/cbmc/stubs/README.md
+6 −0 test/cbmc/stubs/README.md
+61 −0 test/include/defender_config.h
+2 −4 test/unit-test/CMakeLists.txt
+3 −1 test/unit-test/defender_utest.c
+79 −0 tools/coverity/README.md
+15 −24 tools/coverity/misra.config
2 changes: 1 addition & 1 deletion aws/device-shadow-for-aws-iot-embedded-sdk
Submodule device-shadow-for-aws-iot-embedded-sdk updated 57 files
+50 −0 .github/.cSpellWords.txt
+1 −0 .github/CONTRIBUTING.md
+12 −0 .github/memory_statistics_config.json
+90 −76 .github/workflows/ci.yml
+11 −0 .github/workflows/doxygen.yml
+23 −0 .github/workflows/formatting.yml
+31 −6 .github/workflows/release.yml
+0 −8 .gitmodules
+39 −1 CHANGELOG.md
+10 −20 MISRA.md
+124 −32 README.md
+31 −0 cspell.config.yaml
+377 −247 docs/doxygen/config.doxyfile
+20 −0 docs/doxygen/include/size_table.md
+12 −28 docs/doxygen/pages.dox
+0 −99 lexicon.txt
+1 −1 manifest.yml
+31 −0 sbom.spdx
+665 −149 source/include/shadow.h
+4 −2 source/include/shadow_config_defaults.h
+486 −126 source/shadow.c
+55 −49 test/CMakeLists.txt
+4 −0 test/cbmc/.gitignore
+0 −1 test/cbmc/aws-templates-for-cbmc-proofs
+0 −1 test/cbmc/include/README.md
+6 −0 test/cbmc/include/README.md
+0 −1 test/cbmc/litani
+2 −2 test/cbmc/proofs/Makefile-project-defines
+1 −1 test/cbmc/proofs/Makefile-project-targets
+1 −1 test/cbmc/proofs/Makefile-project-testing
+0 −1 test/cbmc/proofs/Makefile.common
+999 −0 test/cbmc/proofs/Makefile.common
+0 −1 test/cbmc/proofs/README.md
+27 −0 test/cbmc/proofs/README.md
+2 −3 test/cbmc/proofs/Shadow_AssembleTopicString/Makefile
+10 −0 test/cbmc/proofs/Shadow_AssembleTopicString/README.md
+21 −13 test/cbmc/proofs/Shadow_AssembleTopicString/Shadow_AssembleTopicString_harness.c
+0 −0 test/cbmc/proofs/Shadow_AssembleTopicString/cbmc-proof.txt
+7 −0 test/cbmc/proofs/Shadow_AssembleTopicString/cbmc-viewer.json
+9 −8 test/cbmc/proofs/Shadow_MatchTopic/Makefile
+10 −7 test/cbmc/proofs/Shadow_MatchTopic/Shadow_MatchTopic_harness.c
+50 −0 test/cbmc/proofs/Shadow_MatchTopicString/Makefile
+2 −2 test/cbmc/proofs/Shadow_MatchTopicString/README.md
+34 −9 test/cbmc/proofs/Shadow_MatchTopicString/Shadow_MatchTopicString_harness.c
+1 −0 test/cbmc/proofs/Shadow_MatchTopicString/cbmc-proof.txt
+1 −1 test/cbmc/proofs/Shadow_MatchTopicString/cbmc-viewer.json
+0 −0 test/cbmc/proofs/lib/__init__.py
+74 −0 test/cbmc/proofs/lib/print_tool_versions.py
+143 −0 test/cbmc/proofs/lib/summarize.py
+187 −31 test/cbmc/proofs/run-cbmc-proofs.py
+0 −1 test/cbmc/sources/README.md
+6 −0 test/cbmc/sources/README.md
+0 −1 test/cbmc/stubs/README.md
+6 −0 test/cbmc/stubs/README.md
+34 −16 test/include/shadow_config.h
+1 −0 test/unit-test/CMakeLists.txt
+1 −1 test/unit-test/CMock
+963 −253 test/unit-test/shadow_utest.c
+79 −0 tools/coverity/README.md
+23 −0 tools/coverity/misra.config
+0 −46 tools/misra.config
+0 −160 tools/uncrustify.cfg
1 change: 1 addition & 0 deletions aws/fleet-provisioning-for-aws-iot-embedded-sdk
Submodule fleet-provisioning-for-aws-iot-embedded-sdk added at a97d53
2 changes: 1 addition & 1 deletion aws/jobs-for-aws-iot-embedded-sdk
Submodule jobs-for-aws-iot-embedded-sdk updated 101 files
1 change: 0 additions & 1 deletion aws/ota-for-aws-iot-embedded-sdk
Submodule ota-for-aws-iot-embedded-sdk deleted from 666241
1 change: 1 addition & 0 deletions aws/sigv4-for-aws-iot-embedded-sdk
Submodule sigv4-for-aws-iot-embedded-sdk added at 68e036
69 changes: 52 additions & 17 deletions manifest.yml
View file
Original file line number Diff line number Diff line change
@@ -1,62 +1,97 @@
name : "FreeRTOS-LTS"
version: "202012.05-LTS"
version: "202406.00-LTS"
description: |-
"Hub Repo for FreeRTOS Long Term Support kernel and libraries"
dependencies:
- name: "FreeRTOS-Kernel"
version: "V10.4.3-LTS-Patch-3"
version: "V11.1.0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"
path: "FreeRTOS/FreeRTOS-Kernel"
- name: "FreeRTOS-Plus-TCP"
version: "V2.3.2-LTS-Patch-2"
version: "V4.2.0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Plus-TCP.git"
path: "FreeRTOS/FreeRTOS-Plus-TCP"
- name: "coreJSON"
version: "V3.0.0"
version: "v3.3.0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreJSON.git"
path: "FreeRTOS/coreJSON"
- name: "coreHTTP"
version: "v2.0.0"
version: "v3.1.1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreHTTP.git"
path: "FreeRTOS/coreHTTP"
- name: "coreMQTT"
version: "v1.1.0"
version: "v2.3.0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreMQTT.git"
path: "FreeRTOS/coreMQTT"
- name: "corePKCS11"
version: "v3.0.0"
version: "v3.6.1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/corePKCS11.git"
- name: "device-shadow"
version: "v1.0.2"
path: "FreeRTOS/corePKCS11"
- name: "coreSNTP"
version: "v1.3.1"
repository:
type: "git"
url: "https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk.git"
url: "https://github.com/FreeRTOS/coreSNTP.git"
path: "FreeRTOS/coreSNTP"
- name: "Cellular Interface"
version: "v1.4.0"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface.git"
path: "FreeRTOS/FreeRTOS-Cellular-Interface"
- name: "SigV4"
version: "v1.3.0"
repository:
type: "git"
url: "https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk.git"
path: "aws/sigv4-for-aws-iot-embedded-sdk"
- name: "backoffAlgorithm"
version: "v1.0.0"
version: "v1.4.1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/backoffAlgorithm.git"
path: "FreeRTOS/backoffAlgorithm"
- name: "device-shadow"
version: "v1.4.1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/backoffAlgorithm"
url: "https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk.git"
path: "aws/device-shadow-for-aws-iot-embedded-sdk"
- name: "device-defender"
version: "v1.1.0"
version: "v1.4.0"
repository:
type: "git"
url: "https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk.git"
path: "aws/device-defender-for-aws-iot-embedded-sdk"
- name: "jobs"
version: "v1.1.0"
version: "v1.5.1"
repository:
type: "git"
url: "https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk.git"
- name: "ota"
version: "v3.0.0"
path: "aws/jobs-for-aws-iot-embedded-sdk"
- name: "fleet-provisioning"
version: "v1.2.1"
repository:
type: "git"
url: "https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk.git"
path: "aws/fleet-provisioning-for-aws-iot-embedded-sdk"
- name: "mqtt-streams"
version: "v1.1.0"
repository:
type: "git"
url: "https://github.com/aws/ota-for-AWS-IoT-embedded-sdk.git"
url: "https://github.com/aws/aws-iot-core-mqtt-file-streams-embedded-c.git"
path: "aws/aws-iot-core-mqtt-file-streams-embedded-c"

license: "MIT"

0 comments on commit 5e4d56e

Please sign in to comment.