You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
35b95d2a4d
* Add RP2040 support (#341) * Add RP2040 support * remove spurious tab/spaces comments * add .cmake to ignored kernel checks * Apply suggestions from code review Co-authored-by: Paul Bartell <paul.bartell@gmail.com> * license and end of file newline fixes * Rename LICENSE.TXT to LICENSE.md Co-authored-by: Paul Bartell <paul.bartell@gmail.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> * RP2040 updates for SMP * whitepsace fix Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> * whitespace fix Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> Co-authored-by: Paul Bartell <paul.bartell@gmail.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> |
4 years ago | |
|---|---|---|
| .. | ||
| include | 4 years ago | |
| .gitignore | 4 years ago | |
| CMakeLists.txt | 4 years ago | |
| FreeRTOS_Kernel_import.cmake | 4 years ago | |
| LICENSE.md | 4 years ago | |
| README.md | 4 years ago | |
| idle_task_static_memory.c | 4 years ago | |
| library.cmake | 4 years ago | |
| pico_sdk_import.cmake | 4 years ago | |
| port.c | 4 years ago | |
README.md
Overview
This directory provides an SMP FreeRTOS-Kernel port that can be used with the Raspberry Pi Pico SDK. It supports:
- Simple CMake INTERFACE libraries, to provide the FreeRTOS-Kernel and also the individual allocator types, without copying code into the user's project.
- Running the FreeRTOS-Kernel and tasks on either core 0 or core 1, or both.
- Use of SDK synchronization primitives (such as mutexes, semaphores, queues from pico_sync) between FreeRTOS tasks and code executing on a non FreeRTOS core, or in IRQ handlers.
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.
Using this port
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.
Advanced Configuration
Some additional config options are defined here which control some low level implementation details.
Known Limitations
- Tickless idle has not currently been tested, and is likely non-functional