Closed peterharperuk closed 5 months ago
This worked for me :top:
I guess this conflicts with #460 ?
I guess this also relates to https://github.com/raspberrypi/pico-sdk/pull/1530 ?
@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?
Issues with the latest version of the FreeRTOS-Kernel