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

Altered config to ensure that we don't accidentally rely on a concrete small number of cores.

Browse source
This commit is contained in:
Tobias Reinhard 2022-11-07 14:34:54 -05:00
parent 91eb6eefaa
commit c4f5c09a81
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
verification/verifast/proof_setup/FreeRTOSConfig.h
View file

@ -104,7 +104,7 @@
*/ */
/* SMP port only */ /* SMP port only */
#define configNUM_CORES 1 #define configNUM_CORES 100
#define configTICK_CORE 1 #define configTICK_CORE 1
#define configRUN_MULTIPLE_PRIORITIES 1 #define configRUN_MULTIPLE_PRIORITIES 1