This directory provides a FreeRTOS-Kernel port that can be used with the Raspberry Pi Pico SDK. It supports:
Note that a FreeRTOS SMP version of this port is also available in the FreeRTOS-Kernel smp branch, which additionally supports utilizing both RP2040 CPU cores for FreeRTOS tasks simultaneously.
Copy FreeRTOS-Kernel-import.cmake into your project, and add:
below the usual import of
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.
config options are defined here which control some low level implementation details.