Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -82,6 +82,8 @@ jobs:
name: FreeRTOSv${{ github.event.inputs.version_number }}.zip
path: zip-check/FreeRTOSv${{ github.event.inputs.version_number }}.zip
create-release:
permissions:
id-token: write
needs: create-zip
name: Create Release and Upload Release Asset
runs-on: ubuntu-latest
Expand Down Expand Up @@ -111,3 +113,8 @@ jobs:
asset_path: ./FreeRTOSv${{ github.event.inputs.version_number }}.zip
asset_name: FreeRTOSv${{ github.event.inputs.version_number }}.zip
asset_content_type: application/zip
- name: Backup Release Asset
uses: FreeRTOS/CI-CD-Github-Actions/artifact-backup@main
with:
artifact_path: ./FreeRTOSv${{ github.event.inputs.version_number }}.zip
release_tag: ${{ github.event.inputs.version_number }}
19 changes: 18 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,10 +1,27 @@
# ChangeLog for FreeRTOS 202406-LTS

## 202406.03-LTS (June 2025)

Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Plus-TCP V4.2.4](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.4)

## 202406.02-LTS (June 2025)

Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Plus-TCP V4.2.3](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.3)
* [corePKCS11 v3.6.3](https://github.com/FreeRTOS/corePKCS11/tree/v3.6.3)

## 202406.01-LTS (July 2024)

Update the following libraries in the Long Term Support (LTS) patch release:
* [FreeRTOS-Plus-TCP V4.2.2](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.2)
* [coreMQTT v2.3.1](https://github.com/FreeRTOS/coreMQTT/tree/v2.3.1)

## 202406.00-LTS (June 2024)

Long Term Support (LTS) release of the following libraries:
* [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)
* [FreeRTOS-Plus-TCP V4.2.1](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.1)
* [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)
Expand Down
2 changes: 1 addition & 1 deletion FreeRTOS/FreeRTOS-Plus-TCP
Submodule FreeRTOS-Plus-TCP updated 434 files
2 changes: 1 addition & 1 deletion FreeRTOS/coreMQTT
Submodule coreMQTT updated 54 files
+136 −22 .github/workflows/release.yml
+6 −0 CHANGELOG.md
+3 −3 README.md
+1 −1 docs/doxygen/config.doxyfile
+1 −1 manifest.yml
+12 −12 sbom.spdx
+1 −1 source/core_mqtt.c
+1 −1 source/core_mqtt_serializer.c
+1 −1 source/core_mqtt_state.c
+5 −2 source/include/core_mqtt.h
+1 −1 source/include/core_mqtt_config_defaults.h
+1 −1 source/include/core_mqtt_serializer.h
+1 −1 source/include/core_mqtt_state.h
+1 −1 source/interface/transport_interface.h
+1 −1 test/cbmc/include/core_mqtt_config.h
+1 −1 test/cbmc/include/event_callback_stub.h
+1 −1 test/cbmc/include/get_time_stub.h
+1 −1 test/cbmc/include/mqtt_cbmc_state.h
+1 −1 test/cbmc/include/network_interface_stubs.h
+1 −1 test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c
+1 −1 test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c
+1 −1 test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c
+1 −1 test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c
+1 −1 test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c
+1 −1 test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c
+1 −1 test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c
+1 −1 test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c
+1 −1 test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c
+1 −1 test/cbmc/sources/mqtt_cbmc_state.c
+1 −1 test/cbmc/stubs/event_callback_stub.c
+1 −1 test/cbmc/stubs/get_time_stub.c
+1 −1 test/cbmc/stubs/memmove.c
+1 −1 test/cbmc/stubs/network_interface_stubs.c
+1 −1 test/unit-test/cmock_opaque_types.h
+1 −1 test/unit-test/core_mqtt_config.h
+1 −1 test/unit-test/core_mqtt_serializer_utest.c
+1 −1 test/unit-test/core_mqtt_state_utest.c
+1 −1 test/unit-test/core_mqtt_utest.c
+1 −1 test/unit-test/logging/logging_levels.h
+1 −1 test/unit-test/logging/logging_stack.h
2 changes: 1 addition & 1 deletion FreeRTOS/corePKCS11
Submodule corePKCS11 updated 73 files
+5 −0 .github/.cSpellWords.txt
+2 −2 .github/workflows/ci.yml
+0 −23 .github/workflows/formatting.yml
+35 −15 .github/workflows/release.yml
+6 −0 CHANGELOG.md
+4 −10 README.md
+1 −1 docs/doxygen/config.doxyfile
+4 −4 docs/doxygen/include/size_table.md
+1 −1 manifest.yml
+21 −21 sbom.spdx
+1 −1 source/core_pkcs11.c
+1 −1 source/core_pki_utils.c
+1 −1 source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c
+1 −1 source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h
+3 −3 source/include/core_pkcs11.h
+1 −1 source/include/core_pkcs11_config_defaults.h
+1 −1 source/include/core_pkcs11_pal.h
+1 −1 source/include/core_pki_utils.h
+197 −10 source/portable/mbedtls/core_pkcs11_mbedtls.c
+1 −1 source/portable/os/core_pkcs11_pal_utils.c
+1 −1 source/portable/os/core_pkcs11_pal_utils.h
+1 −1 source/portable/os/freertos_winsim/core_pkcs11_pal.c
+1 −1 source/portable/os/posix/core_pkcs11_pal.c
+1 −1 test/cbmc/include/core_pkcs11_config.h
+1 −1 test/cbmc/include/pkcs11_interface_stubs.h
+1 −1 test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c
+1 −1 test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c
+1 −1 test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c
+1 −1 test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c
+1 −1 test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c
+1 −1 test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c
+1 −1 test/cbmc/proofs/C_Finalize/C_Finalize_harness.c
+1 −1 test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c
+1 −1 test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c
+1 −1 test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c
+1 −1 test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c
+1 −1 test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c
+1 −1 test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c
+1 −1 test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c
+1 −1 test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c
+1 −1 test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c
+1 −1 test/cbmc/proofs/C_Initialize/C_Initialize_harness.c
+1 −1 test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c
+1 −1 test/cbmc/proofs/C_Sign/C_Sign_harness.c
+1 −1 test/cbmc/proofs/C_SignInit/C_SignInit_harness.c
+1 −1 test/cbmc/proofs/C_Verify/C_Verify_harness.c
+1 −1 test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c
+1 −1 test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c
+1 −1 test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c
+1 −1 test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c
+1 −1 test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c
+1 −1 test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c
+1 −1 test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c
+1 −1 test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c
+1 −1 test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c
+1 −1 test/cbmc/stubs/core_pkcs11_pal_stubs.c
+1 −1 test/cbmc/stubs/core_pki_utils_stubs.c
+1 −1 test/cbmc/stubs/mbedtls_stubs.c
+1 −1 test/cbmc/stubs/pkcs11_interface_stubs.c
+1 −1 test/include/core_pkcs11_config.h
+1 −1 test/include/logging_levels.h
+1 −1 test/include/logging_stack.h
+1 −1 test/include/malloc_stub.h
+1 −1 test/include/mock_osal.h
+1 −1 test/mbedtls_integration/core_pkcs11_config.h
+1 −1 test/mbedtls_integration/core_pkcs11_test_config.h
+2 −2 test/mbedtls_integration/mbedtls_integration_test.c
+475 −25 test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c
+1 −1 test/pkcs11_utils_utest/pkcs11_utils_utest.c
+1 −1 test/wrapper_utest/core_pkcs11_utest.c
+2 −2 tools/coverity/README.md
+2 −2 tools/mbedtls.cmake
+1 −0 tools/mbedtls_configure.sh
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,10 @@ Libraries in this GitHub branch (also listed below) are part of the FreeRTOS 202
| 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 |
| FreeRTOS-Plus-TCP | 4.2.4 | 06/30/2026 | https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/V4.2.4 |
| coreMQTT | 2.3.1 | 06/30/2026 | https://github.com/FreeRTOS/coreMQTT/tree/v2.3.1 |
| 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 |
| corePKCS11 | 3.6.3 | 06/30/2026 | https://github.com/FreeRTOS/corePKCS11/tree/v3.6.3 |
| 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 |
Expand Down
6 changes: 3 additions & 3 deletions manifest.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ dependencies:
url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"
path: "FreeRTOS/FreeRTOS-Kernel"
- name: "FreeRTOS-Plus-TCP"
version: "V4.2.0"
version: "V4.2.4"
repository:
type: "git"
url: "https://github.com/FreeRTOS/FreeRTOS-Plus-TCP.git"
Expand All @@ -28,13 +28,13 @@ dependencies:
url: "https://github.com/FreeRTOS/coreHTTP.git"
path: "FreeRTOS/coreHTTP"
- name: "coreMQTT"
version: "v2.3.0"
version: "v2.3.1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreMQTT.git"
path: "FreeRTOS/coreMQTT"
- name: "corePKCS11"
version: "v3.6.1"
version: "v3.6.3"
repository:
type: "git"
url: "https://github.com/FreeRTOS/corePKCS11.git"
Expand Down