This directory provides an SMP FreeRTOS-Kernel port that can be used with the Raspberry Pi Pico SDK. It supports:
Note that whilst this SMP version can be run on just a single (either) core, it is probably more efficient to use the non SMP version in the main FreeRTOS-Kernel branch in that case.
Copy FreeRTOS-Kernel-import.cmake into your project, and add:
import(FreeRTOS_Kernel_import.cmake)
below the usual import of pico_sdk_import.cmake
This will find the FreeRTOS kernel if it is a direct sub-module of your project, or if you provide the FREERTOS_KERNEL_PATH
variable in your environment or via -DFREERTOS_KERNEL_PATH=/path/to/FreeRTOS-Kernel
on the CMake command line.
Some additional config
options are defined here which control some low level implementation details.