len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-16 08:35:17 -05:00
Code Issues Projects Releases Packages Wiki Activity

Switched submodules to verifast branch.

Browse source
This commit is contained in:
Tobias Reinhard 2022-10-11 14:50:43 -04:00
parent eec276d0a3
commit 80651ca320
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitmodules vendored
View file

@ -1,6 +1,8 @@
[submodule "verification/verifast/demos/FreeRTOS-SMP-Demos"] [submodule "verification/verifast/demos/FreeRTOS-SMP-Demos"]
path = verification/verifast/demos/FreeRTOS-SMP-Demos path = verification/verifast/demos/FreeRTOS-SMP-Demos
url = https://github.com/Tobias-internship-AWS-2022/FreeRTOS-SMP-Demos.git url = https://github.com/Tobias-internship-AWS-2022/FreeRTOS-SMP-Demos.git
branch = verifast
[submodule "verification/verifast/sdks/pico-sdk"] [submodule "verification/verifast/sdks/pico-sdk"]
path = verification/verifast/sdks/pico-sdk path = verification/verifast/sdks/pico-sdk
url = https://github.com/Tobias-internship-AWS-2022/pico-sdk.git url = https://github.com/Tobias-internship-AWS-2022/pico-sdk.git
branch = verifast