len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-11 22:25:14 -05:00
Code Issues Projects Releases Packages Wiki Activity
2986 commits 3 branches 99 tags 214 MiB
Commit graph

8 commits

Author SHA1 Message Date
Tobias Reinhard
da0c8ffb76 Replaced problematic system headers by VeriFast headers. 2022-10-21 11:44:53 -04:00
Tobias Reinhard
2c493715f4 Configured preprocessing script to process tasks.c file with verifast config. 2022-10-21 10:56:47 -04:00
Tobias Reinhard
6000cbd3bd Reordered include directives. 2022-10-21 10:22:52 -04:00
Tobias Reinhard
e9302f35ac Moved pragma rewrites to vf_rewrites.sh. 2022-10-14 16:41:48 -04:00
Tobias Reinhard
8ca47345d4 Added script to rewrite preprocessed source file into a format VeriFast understands. 2022-10-14 16:19:50 -04:00
Tobias Reinhard
cf9b1e9aae Preprocessing script replaces comments out line/file pragmas. 2022-10-14 15:22:57 -04:00
Tobias Reinhard
24130f5334 Added VF startup script for preprocessed tasks.c. 
The script preprocesses task.c according to the RP2040 configuration and launches verifast.
 2022-10-14 13:37:30 -04:00
Tobias Reinhard
7d029778bf Added scripts to build kernel and to preprocess tasks.c. 
The scripts use the demo configuration for RP2040.
 2022-10-14 13:23:37 -04:00