Skip to content

FreeRTOS ports have been upstreamed #442

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lurch opened this issue Jan 9, 2025 · 6 comments
Open

FreeRTOS ports have been upstreamed #442

lurch opened this issue Jan 9, 2025 · 6 comments
Labels
documentation Improvements or additions to documentation pdf update needed It was right before, needs to be updated

Comments

@lurch
Copy link
Contributor

lurch commented Jan 9, 2025

In section 2.3.7 of https://datasheets.raspberrypi.com/pico/raspberry-pi-pico-c-sdk.pdf there's a NOTE which says:
"As of the time of press the latest FreeRTOS-Kernel change for SDK 2.0.0 and RP2350 have not been merged upstream; they can be found here instead."

However this is no longer true, the FreeRTOS ports have now been upstreamed - see raspberrypi/pico-sdk#1453 (comment)

@jondurrant
Copy link

Thanks Andrew.

RP2350 support is not included in the current head of FreeRTOS Kernel or the current release which V11.1.0 and predates RP2350 release. So I am assuming this Repo is still current and supported. No mention of it being deprecated in the README that I spotted.

I'm confused now....

@lurch
Copy link
Contributor Author

lurch commented Feb 11, 2025

Copy'n'pasting a comment from the issue that I linked to earlier (which in hindsight I should have done earlier)...

For the benefit of anyone else reading this issue: the FreeRTOS ports have now been upstreamed to https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/main/portable/ThirdParty/GCC/RP2040 and https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports/tree/main/GCC/RP2350_ARM_NTZ and https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports/tree/main/GCC/RP2350_RISC-V

@jondurrant
Copy link

Thank you. I suggest the README is updated here with this info.

@kilograham
Copy link

You need to initialize submodules in FreeRTOS (upstream) for RP2350 support, as FreeRTOS no longer wants community/partner ports in the main repo.

The newest FreeRTOS_Kernel_import.cmake which you can find in pico-examples or in fact now (as of yesterday FreeRTOS/FreeRTOS-Kernel#1243) in both FreeRTOS-Kernel RP2040 or in the submodule RP2350 ports, looks in both possible locations (and thus works for both deprecated RPi repo, and the upstream repo)

We have a little new documentation going into next version of the SDK book, and will also PR some README improvements to upstream FreeRTOS-Kernel

@jondurrant
Copy link

Just to be clear right now if you use https://github.com/FreeRTOS/FreeRTOS-Kernel/ and the latest release version (not head of repo which would in my view be bad practice) which is V11.1.0 the Community-Supported-Ports/GCC is a previous version to that including RP2350 support. So my perception reading this is that RP2350 is dropped as a viable FreeRTOS target until the next release.

Of course, we could potentially use an out-of-line Community-Supported-Ports repo version in a seperate folder outside of the FreeRTOS-Kernel hierarchy. This needs a rewrite of some of the make files though as I see no way to set FREERTOS_KERNEL_RP2040_RELATIVE_PATH manually. Unless I am missing something.

@kilograham
Copy link

ah, i didn't realize that - i have always used the tip of FreeRTOS!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation pdf update needed It was right before, needs to be updated
Projects
None yet
Development

No branches or pull requests

3 participants