mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-12-08 12:45:22 -05:00
8e881fe73c
* Remove Litani submodule * Update README to include section on CBMC * Update litani references in Python run script
69 lines
3.5 KiB
Text
69 lines
3.5 KiB
Text
[submodule "FreeRTOS/Source"]
|
|
path = FreeRTOS/Source
|
|
url = https://github.com/FreeRTOS/FreeRTOS-Kernel.git
|
|
[submodule "FreeRTOS/Test/CMock/CMock"]
|
|
path = FreeRTOS/Test/CMock/CMock
|
|
url = https://github.com/ThrowTheSwitch/CMock.git
|
|
[submodule "FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP"]
|
|
path = FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP
|
|
url = https://github.com/FreeRTOS/FreeRTOS-Plus-TCP
|
|
[submodule "FreeRTOS-Plus/Source/AWS/device-shadow"]
|
|
path = FreeRTOS-Plus/Source/AWS/device-shadow
|
|
url = https://github.com/aws/device-shadow-for-aws-iot-embedded-sdk
|
|
[submodule "FreeRTOS-Plus/Source/Application-Protocols/coreMQTT"]
|
|
path = FreeRTOS-Plus/Source/Application-Protocols/coreMQTT
|
|
url = https://github.com/FreeRTOS/coreMQTT
|
|
[submodule "FreeRTOS-Plus/Source/coreJSON"]
|
|
path = FreeRTOS-Plus/Source/coreJSON
|
|
url = https://github.com/FreeRTOS/coreJSON
|
|
[submodule "FreeRTOS-Plus/Test/CMock"]
|
|
path = FreeRTOS-Plus/Test/CMock
|
|
url = https://github.com/ThrowTheSwitch/CMock
|
|
[submodule "FreeRTOS-Plus/ThirdParty/mbedtls"]
|
|
path = FreeRTOS-Plus/ThirdParty/mbedtls
|
|
url = https://github.com/ARMmbed/mbedtls
|
|
[submodule "FreeRTOS-Plus/Source/Application-Protocols/corePKCS11"]
|
|
path = FreeRTOS-Plus/Source/corePKCS11
|
|
url = https://github.com/FreeRTOS/corePKCS11.git
|
|
[submodule "FreeRTOS-Plus/Source/AWS/jobs"]
|
|
path = FreeRTOS-Plus/Source/AWS/jobs
|
|
url = https://github.com/aws/jobs-for-aws-iot-embedded-sdk.git
|
|
[submodule "FreeRTOS-Plus/Source/AWS/device-defender"]
|
|
path = FreeRTOS-Plus/Source/AWS/device-defender
|
|
url = https://github.com/aws/device-defender-for-aws-iot-embedded-sdk.git
|
|
[submodule "FreeRTOS-Plus/Source/Application-Protocols/coreHTTP"]
|
|
path = FreeRTOS-Plus/Source/Application-Protocols/coreHTTP
|
|
url = https://github.com/FreeRTOS/coreHTTP
|
|
[submodule "FreeRTOS-Plus/Source/Utilities/backoff_algorithm"]
|
|
path = FreeRTOS-Plus/Source/Utilities/backoff_algorithm
|
|
url = https://github.com/FreeRTOS/backoffAlgorithm.git
|
|
[submodule "FreeRTOS-Plus/ThirdParty/wolfSSL"]
|
|
path = FreeRTOS-Plus/ThirdParty/wolfSSL
|
|
url = https://github.com/wolfSSL/wolfssl.git
|
|
[submodule "FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent"]
|
|
path = FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent
|
|
url = https://github.com/FreeRTOS/coreMQTT-Agent.git
|
|
[submodule "FreeRTOS-Plus/Source/AWS/ota"]
|
|
path = FreeRTOS-Plus/Source/AWS/ota
|
|
url = https://github.com/aws/ota-for-aws-iot-embedded-sdk.git
|
|
[submodule "FreeRTOS-Plus/Source/Application-Protocols/coreSNTP"]
|
|
path = FreeRTOS-Plus/Source/Application-Protocols/coreSNTP
|
|
url = https://github.com/FreeRTOS/coreSNTP.git
|
|
[submodule "FreeRTOS/Demo/ThirdParty/Community-Supported-Demos"]
|
|
path = FreeRTOS/Demo/ThirdParty/Community-Supported-Demos
|
|
url = https://github.com/FreeRTOS/FreeRTOS-Community-Supported-Demos
|
|
[submodule "FreeRTOS/Demo/ThirdParty/Partner-Supported-Demos"]
|
|
path = FreeRTOS/Demo/ThirdParty/Partner-Supported-Demos
|
|
url = https://github.com/FreeRTOS/FreeRTOS-Partner-Supported-Demos
|
|
[submodule "FreeRTOS-Plus/Source/AWS/sigv4"]
|
|
path = FreeRTOS-Plus/Source/AWS/sigv4
|
|
url = https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk.git
|
|
[submodule "FreeRTOS-Plus/Source/FreeRTOS-Cellular-Interface"]
|
|
path = FreeRTOS-Plus/Source/FreeRTOS-Cellular-Interface
|
|
url = https://github.com/FreeRTOS/Lab-Project-FreeRTOS-Cellular-Library.git
|
|
[submodule "FreeRTOS-Plus/ThirdParty/tinycbor"]
|
|
path = FreeRTOS-Plus/ThirdParty/tinycbor
|
|
url = https://github.com/intel/tinycbor.git
|
|
[submodule "FreeRTOS-Plus/Source/AWS/fleet-provisioning"]
|
|
path = FreeRTOS-Plus/Source/AWS/fleet-provisioning
|
|
url = https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk.git
|