FreeRTOS on Pi Pico 2040

This is great - thanks. Did you make any changes to the kernel itself? If so you can create a pull request in the kernel’s git repo here: https://github.com/FreeRTOS/FreeRTOS-Kernel. For the project that builds the code you can create a pull request in the ‘hub’ repo which contains build projects and sub-modules in the kernel code here: https://github.com/FreeRTOS/FreeRTOS

For expectation management - there are a few projects working on bringing official FreeRTOS support to the Pico - including this interesting project in the SMP labs repo. We will gladly take all inputs :slight_smile: but will necessarily need to consolidate before finally upstreaming a single supported version.