Lines Matching +full:- +full:- +full:version

3 This directory provides an SMP FreeRTOS-Kernel port that can be used with the Raspberry Pi Pico SDK…
5 …* Simple CMake INTERFACE libraries, to provide the FreeRTOS-Kernel and also the individual allocat…
6  * Running the FreeRTOS-Kernel and tasks on either core 0 or core 1, or both.
9 Note that whilst this SMP version can be run on just a single (either) core, it is probably
10 more efficient to use the non SMP version in the main FreeRTOS-Kernel branch in that case.
21 This will locate the FreeRTOS kernel if it is a direct sub-module of your project, or if you provid…
22 …ERTOS_KERNEL_PATH` variable in your environment or via `-DFREERTOS_KERNEL_PATH=/path/to/FreeRTOS-K…
24 **NOTE:** If you are using version 1.3.1 or older of the Raspberry Pi Pico SDK then this line must …
26 version, you can include the FreeRTOS-Kernel support later in your CMake build (possibly in a subdi…
27 FreeRTOS-Kernel support will only apply to those targets which explicitly include FreeRTOS support.
30 the same placement restrictions related to the Raspberry Pi Pico SDK version above):
33 add_subdirectory(path/to/this/directory FreeRTOS-Kernel)
43 - Tickless idle has not currently been tested, and is likely non-functional