Skip to content
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

Fix freertos compilation #429

Merged

Conversation

peterharperuk
Copy link
Contributor

Issues with the latest version of the FreeRTOS-Kernel

@peterharperuk peterharperuk force-pushed the fix-freertos-compilation branch 2 times, most recently from 2f62d55 to 6a4bbd1 Compare October 4, 2023 10:20
@peterharperuk peterharperuk marked this pull request as draft October 24, 2023 16:51
@brizzolazzi
Copy link

This worked for me 🔝

@lurch
Copy link
Contributor

lurch commented Jan 23, 2024

I guess this conflicts with #460 ?

@lurch
Copy link
Contributor

lurch commented Mar 26, 2024

I guess this also relates to raspberrypi/pico-sdk#1530 ?

@peterharperuk
Copy link
Contributor Author

@kilograham I know we need to see if freertos have broken something else, but are you ok with me merging this? As it's better than nothing?

@peterharperuk peterharperuk marked this pull request as ready for review March 26, 2024 10:02
@peterharperuk peterharperuk merged commit cac4498 into raspberrypi:develop May 2, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants